Ambient calculi with types: A tutorial

DOI10.1007/B94264MaRDI QIDQ5897115zbMATH OpenOpenAlexFDO

Authors Elio Giovannetti

Publication date 5 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94264

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Types for the ambient calculus
• Orderly communication in the ambient calculus.
• Flow-sensitive type systems and the ambient calculus
• Programming Languages and Systems
• scientific article; zbMATH DE number 1692941

Cited in

(4)

• Flow-sensitive type systems and the ambient calculus
• Types for the ambient calculus
• scientific article; zbMATH DE number 1693043 (Why is no real title available?)
• Access control in mobile ambient calculi: a comparative view

This page was built for publication: Ambient calculi with types: A tutorial

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