scientific article; zbMATH DE number 2242580
From MaRDI portal
Publication:5714432
zbMATH Open1087.68541MaRDI QIDQ5714432FDOQ5714432
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
Title of this publication is not available (Why is that?)
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Distributed systems (68M14)
Cited In (20)
- The seal calculus
- Communication and mobility control in boxed ambients
- A typed encoding of boxed into safe ambients
- Information flow security in boundary ambients
- Security boundaries in mobile 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)
