The Kell Calculus: Operational Semantics and Type System

This paper presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M-calculus (higher-order processes and programmable membranes), although in a much simpler setting than the latter. The calculus is equipped with a type system that enforces a unicity property for location names that is crucial for the efficient implementation of the calculus.

[1]  Michele Bugliesi,et al.  Communication Interference in Mobile Boxed Ambients , 2002, FSTTCS.

[2]  Gian Luigi Ferrari,et al.  MetaKlaim: a type safe multi-stage language for global computing , 2004, Mathematical Structures in Computer Science.

[3]  Mariangiola Dezani-Ciancaglini,et al.  Mobility Types for Mobile Processes in Mobile Ambients , 2003, Electron. Notes Theor. Comput. Sci..

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

[5]  David Teller,et al.  Using Ambients to Control Resources , 2002, CONCUR.

[6]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 2000, IEEE Concurr..

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

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

[9]  Giuseppe Castagna,et al.  The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity , 2002, FSTTCS.

[10]  Jean-Bernard Stefani.  A calculus of Kells , 2003, Electron. Notes Theor. Comput. Sci..

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

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

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

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

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

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

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

[18]  Roberto M. Amadio,et al.  An Asynchronous Model of Locality, Failure and Process Mobility , 1997, COORDINATION.

[19]  Alan Schmitt,et al.  The m-calculus: a higher-order distributed process calculus , 2003, POPL '03.

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

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

[22]  James Riely,et al.  Resource control in systems of mobile agents , 1998 .