Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism
From MaRDI portal
Publication:2056980
DOI10.1007/978-3-030-59854-9_5zbMath1483.68224OpenAlexW3097712492MaRDI QIDQ2056980
Publication date: 8 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-59854-9_5
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Determining asynchronous test equivalence for probabilistic processes ⋮ Towards general axiomatizations for bisimilarity and trace semantics
This page was built for publication: Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism
