Virtually timed ambients: a calculus of nested virtualization

DOI10.1016/J.JLAMP.2017.10.001zbMATH Open1381.68205OpenAlexW2771041917MaRDI QIDQ1683706FDOQ1683706

Authors: Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf 

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

Recommendations

• A calculus of virtually timed ambients
• scientific article; zbMATH DE number 2017350
• Cache-aware compositional analysis of real-time multicore virtualization platforms
• Deriving global virtual time algorithms from conservative simulation protocols
• scientific article; zbMATH DE number 1751887
• scientific article; zbMATH DE number 1949613
• C WS: A Timed Service-Oriented Calculus

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)

Cites Work

• Title not available (Why is that?)
• The algebra of timed processes, ATP: Theory and application
• A process algebra for timed systems
• Real time process algebra
• Membrane Computing
• The \(\pi\)-calculus: A theory of mobile processes
• Introduction to Bisimulation and Coinduction
• On reduction-based process semantics
• Barbed bisimulation
• Process algebra with timing
• The Kell calculus: operational semantics and type system.
• A hierarchy of equivalences for asynchronous calculi
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Bisimulation on speed: Worst-case efficiency
• Behavioral theory for mobile ambients
• Mobile Ambients with Timers and Types
• Resources in process algebra
• Equational properties of mobile ambients
• Title not available (Why is that?)
• Interaction in time and space
• Timers and Proximities for Mobile Ambients
• A Calculus of Virtually Timed Ambients

Cited In (2)

• Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)
• Title not available (Why is that?)

Uses Software

• Turtles

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1683706)