Algebras; Bialgebras; Coalgebras; Continuous state systems; Markov processes; Quantitative aspects; Rule formats; Stochastic semantics; Structural operational semantics

In this paper we show how to model syntax and semantics of stochastic processes with continuous states, respectively as algebras and coalgebras of suitable endofunctors over the category of measurable spaces Meas. Moreover, we present an SOS-like …