A Calculus of Virtually Timed Ambients

DOI10.1007/978-3-319-72044-9_7zbMath1496.68230OpenAlexW2773007251MaRDI QIDQ5208501

Martin Steffen, Einar Broch Johnsen, Johanna Beate Stumpf

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01767462

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Virtually timed ambients: a calculus of nested virtualization ⋮ Distributability of mobile ambients

This page was built for publication: A Calculus of Virtually Timed Ambients