scientific article; zbMATH DE number 2242580

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.

Mathematics Subject Classification ID

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: