Structural Operational Semantics for Stochastic Process Calculi
From MaRDI portal
Publication:5458377
DOI10.1007/978-3-540-78499-9_30zbMath1138.68468OpenAlexW1482758428MaRDI QIDQ5458377
Vladimiro Sassone, Bartek Klin
Publication date: 11 April 2008
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_30
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
General patterns of interaction in stochastic fusion ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ Structural Operational Semantics for Weighted Transition Systems ⋮ Structural operational semantics for stochastic and weighted transition systems ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes ⋮ The How and Why of Interactive Markov Chains ⋮ Categories of Timed Stochastic Relations ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ Approximating Markovian testing equivalence ⋮ Non Expansive ε-Bisimulations ⋮ Structural operational semantics for continuous state stochastic transition systems
