scientific article; zbMATH DE number 2242580

MaRDI QIDQ5714432zbMATH OpenFDO

Authors Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Publication date 2 January 2006

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2215/22150038.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 1954374
• An overview of boxed ambients (abstract)
• Communication and mobility control in boxed ambients
• Mathematical Foundations of Computer Science 2004
• On an open problem of Amadio and Curien: The finite antichain condition

Cited in

(20)

• The seal calculus
• Communication and mobility control in boxed ambients
• A typed encoding of boxed into safe ambients
• Security boundaries in mobile ambients
• Information flow security in boundary ambients
• Probabilistic mobile ambients
• On an open problem of Amadio and Curien: The finite antichain condition
• Tutorial on separation results in process calculi via leader election problems
• A coordination approach to mobile components
• When ambients cannot be opened
• Flow-sensitive type systems and the ambient calculus
• Fair ambients
• Access control in mobile ambient calculi: a comparative view
• An overview of boxed ambients (abstract)
• An efficient abstract machine for safe ambients
• A type inference algorithm for secure ambients
• Secure Data Flow in a Calculus for Context Awareness
• Using bisimulation proof techniques for the analysis of distributed abstract machines
• On the expressive power of movement and restriction in pure mobile ambients
• A chart semantics for the pi-calculus

This page was built for publication:

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