Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
English
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazioni
Nuvole
rivista : Information and Computation
rivista : Information and Computation
6 articles
Bisimulation for Labelled Markov Processes
(2002) —
José Desharnais, Abbas Edalat, Prakash Panangaden
On the Expressiveness of Linda Coordination Primitives
(2000) —
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Reactive, Generative, and Stratified Models of Probabilistic Processes
(1995) —
Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Embedding as a Tool for Language Comparison
(1994) —
Frank S. de Boer, Catiuscia Palamidessi
A calculus of mobile processes, I
(1992) —
Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, II
(1992) —
Robin Milner, Joachim Parrow, David Walker
[
nuvola riviste
/ pubblicazioni ]