AAAAAA

   
Results: 1-12 |
Results: 12
ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED
Authors: ACETO L FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED, Theoretical computer science, 209(1-2), 1998, pp. 163-178
AN EQUATIONAL AXIOMATIZATION FOR MULTI-EXIT ITERATION
Authors: ACETO L FOKKINK W
Citation: L. Aceto et W. Fokkink, AN EQUATIONAL AXIOMATIZATION FOR MULTI-EXIT ITERATION, Information and computation, 137(2), 1997, pp. 121-158
A CHARACTERIZATION OF FINITARY BISIMULATION
Authors: ACETO L INGOLFSDOTTIR A
Citation: L. Aceto et A. Ingolfsdottir, A CHARACTERIZATION OF FINITARY BISIMULATION, Information processing letters, 64(3), 1997, pp. 127-134
CPO MODELS FOR COMPACT GSOS LANGUAGES
Authors: ACETO L INGOLFSDOTTIR A
Citation: L. Aceto et A. Ingolfsdottir, CPO MODELS FOR COMPACT GSOS LANGUAGES, Information and computation, 129(2), 1996, pp. 107-141
AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS
Authors: ACETO L VANGLABBEEK R FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS, Information and computation, 127(1), 1996, pp. 26-40
TIMING AND CAUSALITY IN-PROCESS ALGEBRA
Authors: ACETO L MURPHY D
Citation: L. Aceto et D. Murphy, TIMING AND CAUSALITY IN-PROCESS ALGEBRA, Acta informatica, 33(4), 1996, pp. 317-350
A COMPLETE AXIOMATIZATION OF TIMED BISIMULATION FOR A CLASS OF TIMED REGULAR BEHAVIORS
Authors: ACETO L JEFFREY A
Citation: L. Aceto et A. Jeffrey, A COMPLETE AXIOMATIZATION OF TIMED BISIMULATION FOR A CLASS OF TIMED REGULAR BEHAVIORS, Theoretical computer science, 152(2), 1995, pp. 251-268
ADDING ACTION REFINEMENT TO A FINITE PROCESS ALGEBRA
Authors: ACETO L HENNESSY M
Citation: L. Aceto et M. Hennessy, ADDING ACTION REFINEMENT TO A FINITE PROCESS ALGEBRA, Information and computation, 115(2), 1994, pp. 179-247
TURNING SOS RULES INTO EQUATIONS
Authors: ACETO L BLOOM B VAANDRAGER F
Citation: L. Aceto et al., TURNING SOS RULES INTO EQUATIONS, Information and computation, 111(1), 1994, pp. 1-52
GSOS AND FINITE LABELED TRANSITION-SYSTEMS
Authors: ACETO L
Citation: L. Aceto, GSOS AND FINITE LABELED TRANSITION-SYSTEMS, Theoretical computer science, 131(1), 1994, pp. 181-195
ON AXIOMATISING FINITE CONCURRENT PROCESSES
Authors: ACETO L
Citation: L. Aceto, ON AXIOMATISING FINITE CONCURRENT PROCESSES, SIAM journal on computing, 23(4), 1994, pp. 852-863
TOWARDS ACTION-REFINEMENT IN PROCESS ALGEBRAS
Authors: ACETO L HENNESSY M
Citation: L. Aceto et M. Hennessy, TOWARDS ACTION-REFINEMENT IN PROCESS ALGEBRAS, Information and computation, 103(2), 1993, pp. 204-269
Risultati: 1-12 |