Algebraic reasoning for probabilistic concurrent systems (1990)

by A Giacalone, C C Jou, S A Smolka
Venue:In Proceedings of the Working Conference on Programming Concepts and Methods (Israel Apr.2–5