Structural Operational Semantics for Stochastic Process Calculi.

Bartek Klin, Vladimiro Sassone

Browse the full FOSSACS paper archive.