Typing evolving ambients

DOI10.1016/S0020-0190(01)00172-7zbMath1003.68093MaRDI QIDQ1607130

Jinyuan You, Yiling Yang, Xudong Guan

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)

Related Items (8)

On abstract interpretation of mobile ambients ⋮ Fair ambients ⋮ Theory of interaction ⋮ Unnamed Item ⋮ A typed encoding of boxed into safe ambients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Applying a testing approach to the Calculus of Fair Ambients ⋮ Orderly communication in the ambient calculus.

Cites Work

• Mobile ambients
• On the Expressiveness of Pure Mobile Ambients
• Controlling interference in ambients
• Secure safe ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Typing evolving ambients