The m-calculus: a higher-order distributed process calculus

This paper presents a new distributed process calculus, called the M-calculus, that can be understood as a higher-order version of the Distributed Join calculus with programmable localities. The calculus retains the implementable character of the Distributed Join calculus while overcoming several important limitations: insufficient control over communication and mobility, absence of dynamic binding, and limited locality semantics. The calculus is equipped with a polymorphic type system that guarantees the unicity of locality names, even in presence of higher-order communications -- a crucial property for the determinacy of message routing in the calculus.

[1]  David Teller,et al.  Using ambients to control resources , 2004, International Journal of Information Security.

[2]  Jan Vitek,et al.  Secure composition of untrusted code: box π, wrappers, and causality types , 2003 .

[3]  Marc Lacoste,et al.  An Abstract Machine for a Higher-Order Distributed Process Calculus , 2002, Electron. Notes Theor. Comput. Sci..

[4]  Alan Schmitt.  Safe Dynamic Binding in the Join Calculus , 2002, IFIP TCS.

[5]  Matthew Hennessy,et al.  Bisimulation congruences in safe ambients , 2002, POPL '02.

[6]  Rasmus Ejlers Møgelberg,et al.  Foundations of Software Science and Computational Structures , 2002 .

[7]  Michele Bugliesi,et al.  Boxed Ambients , 2001, TACS.

[8]  Davide Sangiorgi,et al.  A Distributed Abstract Machine for Safe Ambients , 2001, ICALP.

[9]  张晓丽,et al.  Enterprise Java Beans技术架构分析 , 2001 .

[10]  Silvano Dal Zilio,et al.  Mobile processes: a commented bibliography , 2001 .

[11]  Alan Schmitt,et al.  The Marvel Programming Model: a higher-order distributed process calculus , 2001 .

[12]  Ilaria Castellani,et al.  Process Algebras with Localities , 2001, Handbook of Process Algebra.

[13]  Nobuko Yoshida,et al.  Assigning types to processes , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

[14]  Elie Najm,et al.  Elements of an object-based model for distributed and mobile computation , 2000, FMOODS.

[15]  Dominic Duggan.  Atomic Failure in Wide-Area Computation , 2000, FMOODS.

[16]  Rocco De Nicola,et al.  Programming Access Control: The KLAIM Experience , 2000, CONCUR.

[17]  Jean-Jacques Lévy,et al.  An Asynchronous, Distributed Implementation of Mobile Ambients , 2000, IFIP TCS.

[18]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[19]  Jan Vitek,et al.  Secure composition of untrusted code: wrappers and causality types , 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

[20]  Silvano Dal-Zilio,et al.  Mobile Processes: A Commented Bibliography , 2000, MOVEP.

[21]  Rocco De Nicola,et al.  Types for access control , 2000, Theor. Comput. Sci..

[22]  Davide Sangiorgi,et al.  Controlling interference in ambients , 2000, POPL '00.

[23]  Luca Cardelli.  Wide Area Computation , 2000, JISBD.

[24]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[25]  Nobuko Yoshida,et al.  Suptyping and Locality in Distributed Higher Order Processes (extended abstract) , 1999, CONCUR.

[26]  Silvano Dal Zilio.  Le calcul bleu : types et objets , 1999 .

[27]  Nobuko Yoshida,et al.  Subtyping and locality in distributed higher order processes , 1999 .

[28]  Álvaro Figueira,et al.  DiTyCO: an Experiment in Code Mobility from the Realm of Process Calculi , 1999 .

[29]  Matthew Hennessy Cogs.  Subtyping and Locality in Distributed Higher Order Processes , 1999 .

[30]  Luca Cardelli,et al.  Types for mobile ambients , 1999, POPL '99.

[31]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, HLCL.

[32]  Jan Vitek,et al.  Seal: A Framework for Secure Mobile Computations , 1998, ICCL Workshop: Internet Programming Languages.

[33]  Benjamin C. Pierce,et al.  Location-Independent Communication for Mobile Agents: A Two-Level Architecture , 1998, ICCL Workshop: Internet Programming Languages.

[34]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[35]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[36]  Jean-Jacques Lévy,et al.  Some Results in the Joint-Calculus , 1997, TACS.

[37]  Roberto M. Amadio.  An Asynchronous Model of Locality, Failurem and Process Mobility , 1997, COORDINATION.

[38]  Cosimo Laneve,et al.  Implicit Typing à la ML for the Join-Calculus , 1997, CONCUR.

[39]  G. Erard Boudol.  The -calculus in Direct Style (*) , 1997 .

[40]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[41]  Ira R. Forman,et al.  Interacting processes: a multiparty approach to coordinated distributed programming , 1996 .

[42]  John C. Mitchell,et al.  Theoretical aspects of object-oriented programming: types, semantics, and language design , 1994, Choice Reviews Online.

[43]  Didier Rémy,et al.  Type inference for records in natural extension of ML , 1994 .

[44]  Peter Buneman,et al.  Theoretical Aspects of Object-Oriented Programming , 1994 .

[45]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[46]  G. Boudol,et al.  Notes on Algebraic Calculi of Processes , 1989, Logics and Models of Concurrent Systems.