A complete axiom system for finite-state probabilistic processes (2000)

by E W Stark, S A Smolka
Venue:In Proof, language, and interaction: essays in honour of Robin Milner