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

Documents Related by Co-Citation

785 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
3204 Communication and Concurrency – R Milner - 1989
313 Functions as processes, in – R Milner - 1990
864 Using encryption for authentication in large networks of computers – R M Needham, M D Schroeder
613 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
241 The reflexive chemical abstract machine and the join-calculus – Cédric Fournet, Georges Gonthier
404 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
1138 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
54 The Join-Calculus: a Calculus for Distributed Mobile Programming – C Fournet - 1998
357 Prudent Engineering Practice for Cryptographic Protocols – Martin Abadi, Roger Needhamt - 1994
2468 Handbook of Applied Cryptography – Alfred J. Menezes, Paul C. Van Oorschot, Scott A. Vanstone, R. L. Rivest - 1997
78 Secure Implementation of Channel Abstractions – Martin Abadi, Cédric Fournet, Georges Gonthier - 2000
60 Analyzing encryption protocols using formal veri cation techniques – R Kemmerer - 1994
106 S.B.: The Interrogator: Protocol security analysis – J K Millen, S C Clark, Freedman - 1987
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
809 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
272 The Polyadic -Calculus: A Tutorial – R Milner - 1993