Orderly communication in the ambient calculus.

DOI10.1016/S0096-0551(02)00007-3zbMath1051.68029MaRDI QIDQ1869977

A. J. Kfoury, Santiago M. Pericás-Geertsen, Torben Amtoft

Publication date: 4 May 2003

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

zbMATH Keywords

Type inferenceType systemMobile computationAmbient CalculusConcurrent and distributed programmingFormal calculi for mobilityOrderly communicationSafety and security of mobile codeType checking

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (2)

On abstract interpretation of mobile ambients ⋮ A typed encoding of boxed into safe ambients

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Flow-sensitive type systems and the ambient calculus
• Typing evolving ambients
• Trust and partial typing in open systems of mobile agents
• Controlling interference in ambients
• Secure safe ambients
• A calculus of mobile agents

This page was built for publication: Orderly communication in the ambient calculus.