A Concurrent Object Calculus: Reduction and Typing (1998)

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

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
42 A Calculus for Concurrent Objects – Paolo Di Blasio, Kathleen Fisher - 1996
418 Obliq - A language with distributed scope – Luca Cardelli - 1995
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
74 Concurrent Objects in a Process Calculus – Benjamin C. Pierce, David N. Turner - 1995
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
702 Types and programming languages – Benjamin C Pierce - 2002
90 A calculus of mobile processes, part I/II – Robin Milner, Joachim Parrow, David Walker - 1992
34 Subtyping and Locality in Distributed Higher Order Processes (Extended Abstract) – Nobuko Yoshida, Matthew Hennessy - 1999
199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
40 Interactive Mobile Agents in X-KLAIM – Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, GianLuigi Ferrari - 1998
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
218 KLAIM: a Kernel Language for Agents Interaction and Mobility – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese - 1997
51 Types for Access Control – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Betti Venneri - 2000