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

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

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

(22)

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

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)