Algebraic reasoning for probabilisitic concurrent systems (1990)

by A Giacalone, C Jou, S A Smolka
Venue:Proc. Working Conference on Programming Concepts and Methods, pages 443--458. IFIP TC2, Sea of Gallilee