Sfoglia per Autore
Complete sets of axioms for finite basic LOTOS behavioural equivalences
1992 M. Boreale;P. Inverardi;M. Nesi
Testing equivalence for mobile processes
1992 Michele Boreale;Rocco Nicola
A symbolic semantics for the π-calculus — Extended abstract
1994 Michele Boreale;Rocco Nicola
Process Algebraic Theories for Mobile Systems
1994 M. Boreale
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract)
1995 M. Boreale; L. Trevisan
A Fully Abstract Semantics for Causality in the pi-calculus
1995 M. Boreale; D. Sangiorgi
Testing Equivalence for Mobile Processes
1995 R. DE NICOLA; M. BOREALE
A Symbolic Semantics for the pi-Calculus
1996 R. DE NICOLA; M. BOREALE
A theory of symbolic bisimulation for timed processes
1996 M. Boreale
Symbolic Bisimulation for Timed Processes
1996 M. Boreale
Bisimilarity problems requiring exponential time
1996 M. Boreale; L. Trevisan
On the expressivness of internal mobility in name-passing calculi
1996 M. Boreale
Basic Observables for Processes
1997 M. BOREALE; R. DE NICOLA; R. PUGLIESE
Bisimulations in the join-calculus
1998 M. Boreale; C. Fournet; C. Laneve
Bisimulation in Name-Passing Calculi without Matching
1998 M. Boreale; D. Sangiorgi
Some Congruence Properties for Pi-Calculus Bisimilarities
1998 M. Boreale; D. Sangiorgi
A Fully Abstract Semantics for Causality in the pi-Calculus
1998 M. Boreale; D. Sangiorgi
On the Expressiveness of Internal Mobility in Name-Passing Calculi
1998 M. Boreale
Asynchronous Observations of Processes
1998 M. Boreale; R. De Nicola; R. Pugliese
Basic Observables for Processes
1999 M. BOREALE; R. DE NICOLA; R. PUGLIESE
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile