Portal de Periódicos da CAPES

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

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

10.1007/978-3-540-31794-4_9

1611-3349

Alan Schmitt, Jean‐Bernard Stefani,

Advanced Software Engineering Methodologies

This paper presents the Kell calculus, a family of distributed process calculi, parameterized by languages for input patterns, that is intended as a basis for studying component-based distributed programming. The Kell calculus is built around a π-calculus core, and follows five design principles which are essential for a foundational model of distributed and mobile programming: hierarchical localities, local actions, higher-order communication, programmable membranes, and dynamic binding. The paper discusses these principles, and defines the syntax and operational semantics common to all calculi in the Kell calculus family. The paper provides a co-inductive characterization of contextual equivalence for Kell calculi, under sufficient conditions on pattern languages, by means of a form of higher-order bisimulation called strong context bisimulation. The paper also contains several examples that illustrate the expressive power of Kell calculi.