A Calculus of Mobile Processes, Part II (1989)

by Robin Milner , Joachim Parrow , David Walker
Citations:110 - 1 self

Documents Related by Co-Citation

3217 Communication and Concurrency – R MILNER - 1989
3410 Communicating Sequential Processes – C. A. R. Hoare - 1985
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
811 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1332 A Calculus of Communicating Systems – R Milner - 1982
313 Calculi for synchrony and asynchrony – Robin Milner - 1983
1100 Actors: a model of concurrent computation in distributed systems – G Agha - 1986