The Kell Calculus: Operational Semantics and Type System

This paper1 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 (higherorder 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.

• Type: Conference
• Year: 2003
• Where: FMOODS
• Authors: Philippe Bidinger, Jean-Bernard Stefani
• Keywords: Distributed Process Calculus, FMOODS 2003, FMOODS 2007, Seal Calculus, The Calculus