Interpreting functions as π-calculus processes: a tutorial (1999)

Cached

Download Links

by Davide Sangiorgi
Citations:1 - 0 self

Documents Related by Co-Citation

1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
375 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
349 The mechanical evaluation of expressions – P J Landin - 1964
335 Functions as Processes – R Milner - 1992
296 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
272 Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms – D Sangiorgi - 1992
263 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
251 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
233 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
214 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975