Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 101
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 101
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