Typing evolving ambients

DOI10.1016/S0020-0190(01)00172-7MaRDI QIDQ1607130zbMATH OpenFDO

Authors Xudong Guan, Yiling Yang, Jinyuan You

Publication date 25 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

immobile server

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1953025
• Flow-sensitive type systems and the ambient calculus
• Types for ambient and process mobility
• scientific article; zbMATH DE number 2163047
• Types for the ambient calculus

Cites work

• scientific article; zbMATH DE number 1692941 (Why is no real title available?)
• scientific article; zbMATH DE number 1696439 (Why is no real title available?)
• scientific article; zbMATH DE number 1512630 (Why is no real title available?)
• scientific article; zbMATH DE number 1759481 (Why is no real title available?)
• Controlling interference in ambients
• Mobile ambients
• On the expressiveness of pure mobile ambients
• Secure safe ambients

Cited in

(10)

• Orderly communication in the ambient calculus.
• A typed encoding of boxed into safe ambients
• On abstract interpretation of mobile ambients
• Flow-sensitive type systems and the ambient calculus
• Fair ambients
• Applying a testing approach to the calculus of fair ambients
• Intensionality of modal logic for robust ambient calculus
• Theory of interaction
• scientific article; zbMATH DE number 1953025 (Why is no real title available?)
• scientific article; zbMATH DE number 1148299 (Why is no real title available?)

This page was built for publication: Typing evolving ambients

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