Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
English
What's New
Wiki Index
Eng
Ita
Search
Publications
Clouds
journal : Information and Computation
journal : 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
[
journal cloud
/ publications ]