Abstract. This paper 1 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.
The Kell calculus described in REF is based on the M-calculus and uses higher order communication.
The Kell Calculus: Operational Semantics and Type System
FMOODS
Computer Science