journal : Information and Computation

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