Structural operational semantics for stochastic process calculi (2008)

by B Klin, V Sassone
Venue:of Lecture Notes in Computer Science