journal : Information and Computation
6 articles
Bisimulation for Labelled Markov Processes (article in journal, 2002) — José Desharnais, Abbas Edalat, Prakash Panangaden On the Expressiveness of Linda Coordination Primitives (article in journal, 2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro Reactive, Generative, and Stratified Models of Probabilistic Processes (article in journal, 1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen Embedding as a Tool for Language Comparison (article in journal, 1994) — Frank S. de Boer, Catiuscia Palamidessi A calculus of mobile processes, I (article in journal, 1992) — Robin Milner, Joachim Parrow, David Walker A calculus of mobile processes, II (article in journal, 1992) — Robin Milner, Joachim Parrow, David Walker