Structural operational semantics for stochastic and weighted transition systems

Bartek Klin, Vladimiro Sassone. Structural operational semantics for stochastic and weighted transition systems. Inf. Comput., 227:58-83, 2013. [doi]

Abstract

Abstract is missing.