A calculus of virtually timed ambients

DOI10.1007/978-3-319-72044-9_7zbMATH Open1496.68230OpenAlexW2773007251MaRDI QIDQ5208501FDOQ5208501

Authors: Einar Broch Johnsen, Martin Steffen, 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

Recommendations

• Virtually timed ambients: a calculus of nested virtualization
• Checking modal contracts for virtually timed ambients
• scientific article; zbMATH DE number 1754608
• scientific article; zbMATH DE number 1231618
• Mobile Ambients with Timers and Types

Mathematics Subject Classification ID

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

Cited In (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

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