Virtually timed ambients: a calculus of nested virtualization

DOI10.1016/j.jlamp.2017.10.001zbMath1381.68205OpenAlexW2771041917MaRDI QIDQ1683706

Johanna Beate Stumpf, Einar Broch Johnsen, Martin Steffen

Publication date: 1 December 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/65176

zbMATH Keywords

process calculiambient calculimodels of distributed systemsmodels of nested virtualizationweak timed bisimulation

Mathematics Subject Classification ID

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

Related Items (1)

Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)

Uses Software

• Turtles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Bisimulation on speed: Worst-case efficiency
• The algebra of timed processes, ATP: Theory and application
• On reduction-based process semantics
• A hierarchy of equivalences for asynchronous calculi
• Process algebra with timing
• A process algebra for timed systems
• Resources in process algebra
• Real time process algebra
• Interaction in Time and Space
• Introduction to Bisimulation and Coinduction
• Behavioral theory for mobile ambients
• Timers and Proximities for Mobile Ambients
• Mobile Ambients with Timers and Types
• Equational properties of mobile ambients
• Barbed bisimulation
• A Calculus of Virtually Timed Ambients
• Membrane Computing
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Virtually timed ambients: a calculus of nested virtualization