Algebraic reasoning for probabilistic concurrent systems (1990)

by A Giacalone, C-C Jou, S A Smolka
Venue:In Proceedings of IFIP WG 2.2/2.3 Working Conference on Programming Concepts and Methods