The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).
How much space takes a number?
The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).