|
1
|
A Study of Objects
– Paul Hankin
- 1999
|
|
83
|
The reflexive CHAM and the join-calculus
– Cedric Fournet , Georges Gonthier
|
|
1
|
An Interpretation of Typed Concurrent Objects in the Blue Calculus
– Silvano Dal-Zilio
- 1999
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
28
|
PICCOLA - a Small Composition Language
– Franz Achermann, Markus Lumpe, Jean-guy Schneider, Oscar Nierstrasz
- 1999
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
119
|
Linearity and the Pi-Calculus
– Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
- 1999
|
|
26
|
Sequentiality and the π-Calculus
– Martin Berger, Kohei Honda, Nobuko Yoshida
- 2001
|
|
80
|
On Asynchrony in Name-Passing Calculi
– Massimo Merro, Davide Sangiorgi
- 1998
|
|
28
|
Creol: A type-safe object-oriented model for distributed concurrent systems
– Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
- 2006
|
|
64
|
Location-Independent Communication for Mobile Agents: a Two-Level Architecture
– Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce
- 1998
|
|
|
Processes, Functions, and Datatypes
– Vasco T. Vasconcelos
- 1998
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
1
|
Concurrent Objects in the Blue Calculus
– Silvano Dal-Zilio
- 1998
|
|
18
|
A theory of bisimulation for a fragment of concurrent ML with local names
– Alan Jeffrey, Julian Rathke
- 2003
|
|
3
|
A π-calculus process semantics of concurrent idealised ALGOL
– Christine Röckl, Davide Sangiorgi
- 1999
|
|
13
|
Functional Computation as Concurrent Computation
– Joachim Niehren
- 1995
|
|
9
|
Process Calculus Based Upon Evaluation to Committed Form
– Andrew M. Pitts, Joshua R. X. Ross
- 1997
|
|
3
|
Genericity and the π-Calculus
– Martin Berger, Kohei Honda, Nobuko Yoshida
- 2003
|
