Abstract:
The call-by-value lambda-calculus, the SECD machine, and the pi-calculus
Citations
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
282
|
An object calculus for asynchronous communication
– Honda, Tokoro
- 1991
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
257
|
The mechanical evaluation of expressions
– Landin
- 1964
|
|
245
|
The Lambda Calculus: Its Syntax and Semantics, volume 103
– Barendregt
- 1984
|
|
233
|
Pict: A programming language based on the pi-calculus
– Pierce, Turner
- 2000
|
|
229
|
Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms
– Sangiorgi
- 1992
|
|
220
|
Typing and subtyping for mobile processes
– Pierce, Sangiorgi
- 1996
|
|
181
|
Barbed bisimulation
– Milner, Sangiorgi
- 1992
|
|
138
|
Semantics of Programming Languages
– Gunter
- 1992
|
|
128
|
Call-by-name, call-by-value and the λ-calculus
– Plotkin
- 1975
|
|
93
|
The polymorphic pi-calculus: Theory and implementation
– Turner
- 1996
|
|
75
|
A partially deadlock-free typed process calculus
– Kobayashi
- 1998
|
|
75
|
On asynchrony in name-passing calculi
– Merro, Sangiorgi
- 1443
|
|
71
|
Typed Concurrent Objects
– Vasconcelos
- 1996
|
|
12
|
A Virtual Machine for the TyCO Process Calculus
– Lopes, Silva, et al.
- 1999
|
|
8
|
Core-TyCO, the language definition, version 0.1
– Vasconcelos, Bastos
- 1998
|
|
6
|
Functions as processes. Rapport de Recherche 1154
– Milner
- 1990
|
|
5
|
Processes, functions, and datatypes. Theory and Practice of Object Systems
– Vasconcelos
- 1999
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial. Unpublished
– Sangiorgi
- 1998
|
