Structural operational semantics for continuous state probabilistic processes

DOI10.1007/978-3-642-32784-1_5MaRDI QIDQ2914677zbMATH OpenOpenAlexFDO

Authors Giorgio Bacci, Marino Miculan

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)

Recommendations

• Structural operational semantics for continuous state stochastic transition systems
• Domain equations for probabilistic processes
• Structural Operational Semantics for Stochastic Process Calculi
• scientific article; zbMATH DE number 1231591
• The measurable space of stochastic processes

Cited in

(10)

• SOS specifications for uniformly continuous operators
• Structural operational semantics for continuous state stochastic transition systems
• A general SOS theory for the specification of probabilistic transition systems
• Towards measurable types for dynamical process modeling languages
• Tackling continuous state-space explosion in a Markovian process algebra
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• The measurable space of stochastic processes
• Fundamental Approaches to Software Engineering
• Back to the format: a survey on SOS for probabilistic processes
• GSOS for non-deterministic processes with quantitative aspects

This page was built for publication: Structural operational semantics for continuous state probabilistic processes

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