Algebraic reasoning for probabilistic concurrent systems (1989)

by A Giacalone, C-C Jou, S A Smolka
Venue:in M.Broy and C.B.Jones (editors), Proc. IFIP TCS2 Working Conference on Programming Concepts and Methods