Baeten Abstraction in probabilistic process algebra (2001)

by S Andova, J C M
Venue:Proc. TACAS 2001, T. Margaria, Wang Yi, eds., LNCS 2031