Vladimiro Sassone (2013): Structural operational semantics for stochastic and weighted transition systems (0)

by Bartek Klin
Venue:Information and Computation