scientific article; zbMATH DE number 1927569

MaRDI QIDQ4484494zbMATH OpenFDO

Authors D. Teller, Pascal Zimmer, Daniel Hirschkoff

Publication date 12 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Space-aware ambients and processes
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Controlling interference in ambients
• Programming Languages and Systems
• Access control in mobile ambient calculi: a comparative view

Cited in

(13)

• On the computational strength of pure ambient calculi
• When ambients cannot be opened
• On the expressive power of movement and restriction in pure mobile ambients
• A typed encoding of boxed into safe ambients
• Translating mobile ambients into P systems
• Interaction in time and space
• Applying a testing approach to the calculus of fair ambients
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Aspects of availability. Enforcing timed properties to prevent denial of service
• Space-aware ambients and processes
• Fair ambients
• An efficient abstract machine for safe ambients
• Access control in mobile ambient calculi: a comparative view

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 Q4484494)