A Concurrent Object Calculus: Reduction and Typing (1998)

by Andrew D. Gordon , Paul D. Hankin
Venue:HLCL'98 TO APPEAR
Citations:79 - 4 self

Active Bibliography

1 A Study of Objects – Paul Hankin - 1999
30 PICCOLA - a Small Composition Language – Franz Achermann, Markus Lumpe, Jean-guy Schneider, Oscar Nierstrasz - 1999
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
1 An Interpretation of Typed Concurrent Objects in the Blue Calculus – Silvano Dal-Zilio - 1999
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
29 Creol: A type-safe object-oriented model for distributed concurrent systems – Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu - 2006
65 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
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
10 Synchronizing Concurrent Objects in the pi-Calculus – Jean-guy Schneider, Markus Lumpe - 1997
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 - 1996
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999