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)

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

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)