scientific article; zbMATH DE number 1927569

zbMath1012.68530MaRDI QIDQ4484494

Daniel Hirschkoff, D. Teller, Pascal Zimmer

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210288.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 (11)

On the expressive power of movement and restriction in pure mobile ambients ⋮ Space-aware ambients and processes ⋮ Fair ambients ⋮ An efficient abstract machine for safe ambients ⋮ Access control in mobile ambient calculi: a comparative view ⋮ On the computational strength of pure ambient calculi ⋮ A typed encoding of boxed into safe ambients ⋮ When ambients cannot be opened ⋮ Applying a testing approach to the Calculus of Fair Ambients ⋮ Translating Mobile Ambients into P Systems ⋮ Interaction in Time and Space

This page was built for publication: