Structural Operational Semantics for Continuous State Probabilistic Processes

DOI10.1007/978-3-642-32784-1_5zbMath1328.68135OpenAlexW2305569592MaRDI QIDQ2914677

Marino Miculan, Giorgio Bacci

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_5

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

A general SOS theory for the specification of probabilistic transition systems ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item ⋮ Structural operational semantics for continuous state stochastic transition systems

This page was built for publication: Structural Operational Semantics for Continuous State Probabilistic Processes