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, II (1992) — Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, I (1992) — Robin Milner, Joachim Parrow, David Walker