A calculus of virtually timed ambients

DOI10.1007/978-3-319-72044-9_7MaRDI QIDQ5208501zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

• Checking modal contracts for virtually timed ambients
• 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)