A calculus of kells

MaRDI QIDQ2844040zbMATH OpenFDO

Authors Jean-Bernard Stefani

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105800878

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The Kell calculus: operational semantics and type system.
• Global Computing
• The M-calculus: a higher-order distributed process calculus
• An abstract machine for the Kell calculus
• A calculus of mobile processes. I

Cited in

(6)

• Types for access control in a calculus of mobile resources
• The M-calculus: a higher-order distributed process calculus
• A model checking-based approach for security policy verification of mobile systems
• An abstract machine for the Kell calculus
• Global Computing
• The Kell calculus: operational semantics and type system.

This page was built for publication: A calculus of kells

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844040)