Programming Languages and Systems

DOI10.1007/B96702MaRDI QIDQ5308697zbMATH OpenOpenAlexFDO

Authors Cédric Lhoussaine, Vladimiro Sassone

Publication date 28 September 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Types for the ambient calculus
• scientific article; zbMATH DE number 1692941
• Flow-sensitive type systems and the ambient calculus
• Orderly communication in the ambient calculus.

Cited in

(18)

• Ambient calculus and its logic in the calculus of inductive constructions
• Channel dependent types for higher-order mobile processes
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• Types for the ambient calculus
• Types for access control in a calculus of mobile resources
• Typed context awareness ambient calculus for pervasive applications
• Access control in a core calculus of dependency
• Processes, Terms and Cycles: Steps on the Road to Infinity
• From flow logic to static type systems for coordination languages
• scientific article; zbMATH DE number 1693043 (Why is no real title available?)
• Flow-sensitive type systems and the ambient calculus
• Algebra and Coalgebra in Computer Science
• Access control in mobile ambient calculi: a comparative view
• scientific article; zbMATH DE number 2163047 (Why is no real title available?)
• A dependent dependency calculus
• Ambient calculi with types: A tutorial
• scientific article; zbMATH DE number 1692941 (Why is no real title available?)
• scientific article; zbMATH DE number 2087549 (Why is no real title available?)

This page was built for publication: Programming Languages and Systems

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