A Calculus of Mobile Processes, Part I (1989)

Cached

Download Links

by Robin Milner , Joachim Parrow , David Walker
Venue:I AND II. INFORMATION AND COMPUTATION
Citations:189 - 3 self

Active Bibliography

453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
566 Term Rewriting Systems – J. W. Klop - 1992
641 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
623 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
AND – Robin Milner
457 Domain Theory – Samson Abramsky, Achim Jung - 1994