Stochastic ambient calculus

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

Authors Maria Grazia Vigliotti, Peter G. Harrison

Publication date 11 March 2025

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)

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)