Virtually timed ambients: a calculus of nested virtualization

DOI10.1016/J.JLAMP.2017.10.001MaRDI QIDQ1683706zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1479644 (Why is no real title available?)
• A calculus of virtually timed ambients
• A hierarchy of equivalences for asynchronous calculi
• A process algebra for timed systems
• Barbed bisimulation
• Behavioral theory for mobile ambients
• Bisimulation on speed: Worst-case efficiency
• Equational properties of mobile ambients
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Interaction in time and space
• Introduction to bisimulation and coinduction
• Membrane Computing
• Mobile Ambients with Timers and Types
• On reduction-based process semantics
• Process algebra with timing
• Real time process algebra
• Resources in process algebra
• The Kell calculus: operational semantics and type system.
• The -calculus: A theory of mobile processes
• The algebra of timed processes, ATP: Theory and application
• Timers and Proximities for Mobile Ambients

Cited in

(4)

• Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)
• Checking modal contracts for virtually timed ambients
• scientific article; zbMATH DE number 2017350 (Why is no real title available?)
• A calculus of virtually timed ambients

Describes a project that uses

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)