Stochastic ambient calculus

DOI10.1016/J.ENTCS.2006.07.018MaRDI QIDQ7014407zbMATH OpenFDO

Authors Maria Grazia Vigliotti, Peter G. Harrison

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2006.07.018

zbMATH Keywords

Markov modelsmobilitystochastic process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Anytime, anywhere: modal logics for mobile ambients
• Barbed bisimulation
• Bisimulation congruences in safe ambients
• Boxed ambients
• Extended Markovian Process Algebra
• Finite-control mobile ambients
• scientific article; zbMATH DE number 4056645 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• On reduction-based process semantics
• Process algebra and Markov chains
• Towards a logic for performance and mobility

Cited in

(2)

• \textsf{CoBiC}: context-dependent bioambient calculus
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Stochastic ambient calculus

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