Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

FMOODS
2003

favoriteEmaildiscussreport

145views Formal Methods» more FMOODS 2003»

The Kell Calculus: Operational Semantics and Type System

13 years 5 months ago

The Kell Calculus: Operational Semantics and Type System

Download sardes.inrialpes.fr

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 efﬁcient implementation of the calculus.

Philippe Bidinger, Jean-Bernard Stefani

Real-time Traffic

Distributed Process Calculus | FMOODS 2003 | FMOODS 2007 | Seal Calculus | The Calculus |

claim paper

Related Content

» A Type System for the Relational Calculus of Object Systems

» Syntactic Type Soundness for the Region Calculus

» A Semantics of Object Types

» A Typed Process Calculus for FineGrained Resource Access Control in Distributed Computatio...

» A lambda calculus of objects and method specialization

» A Concurrent Object Calculus Reduction and Typing

» Subtyping for session types in the pi calculus

» Semantic subtyping for the picalculus

» A Lambda Calculus for Quantum Computation with Classical Control

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	FMOODS
Authors	Philippe Bidinger, Jean-Bernard Stefani

Comments (0)