scientific article; zbMATH DE number 1927570

zbMath1012.68529MaRDI QIDQ4484495

Massimo Merro, Vladimiro Sassone

Publication date: 12 June 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Deriving structural labelled transitions for mobile ambients ⋮ Access control in mobile ambient calculi: a comparative view ⋮ A taxonomy of process calculi for distribution and mobility ⋮ On the computational strength of pure ambient calculi ⋮ A typed encoding of boxed into safe ambients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ safeDpi: a language for controlling mobile code ⋮ Types for Access Control in a Calculus of Mobile Resources

This page was built for publication: