Portal de Periódicos da CAPES

The Kell Calculus: Operational Semantics and Type System

2003; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-39958-2_8

1611-3349

Philippe Bidinger, Jean‐Bernard Stefani,

Petri Nets in System Modeling

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.