Communication and mobility control in boxed ambients

DOI10.1016/j.ic.2005.06.002zbMath1101.68943OpenAlexW2119972514WikidataQ62041664 ScholiaQ62041664MaRDI QIDQ2573334

Michele Bugliesi, Massimo Merro, Vladimiro Sassone, Silvia Crafa

Publication date: 7 November 2005

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/261846/1/nbaFullOff.pdf

zbMATH Keywords

Safe Ambients

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (9)

Towards a behavioural theory of access and mobility control in distributed systems ⋮ Howe’s Method for Calculi with Passivation ⋮ Basic observables for a calculus for global computing ⋮ Space-aware ambients and processes ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Role-based access control for boxed ambients ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ On the computational strength of pure ambient calculi ⋮ A typed encoding of boxed into safe ambients

Cites Work

• Bisimulation for higher-order process calculi
• A calculus of mobile processes. II
• On the expressiveness of internal mobility in name-passing calculi
• An efficiency preorder for processes
• On reduction-based process semantics
• What is a ``good encoding of guarded choice?
• Decoding choice encodings
• The seal calculus
• An overview of Boxed Ambients
• Equational properties of mobile ambients
• Controlling interference in ambients
• Extensionality and intensionality of the ambient logics
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Communication and mobility control in boxed ambients