scientific article; zbMATH DE number 2242580
From MaRDI portal
Publication:5714432
zbMath1087.68541MaRDI QIDQ5714432
Giuseppe Castagna, Silvia Crafa, Michele Bugliesi
Publication date: 2 January 2006
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150038.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (20)
On the expressive power of movement and restriction in pure mobile ambients ⋮ Fair ambients ⋮ An efficient abstract machine for safe ambients ⋮ Secure Data Flow in a Calculus for Context Awareness ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Using bisimulation proof techniques for the analysis of distributed abstract machines ⋮ 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 ⋮ A coordination approach to mobile components ⋮ When ambients cannot be opened ⋮ Probabilistic mobile ambients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ An overview of Boxed Ambients ⋮ A Type Inference Algorithm for Secure Ambients ⋮ The seal calculus ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ A Chart Semantics for the Pi-Calculus ⋮ Security boundaries in mobile ambients
This page was built for publication:
