Acceptance trees for probabilistic processes (1995)

by M N'unez, D de Frutos, L Llana
Venue:In CONCUR'95, LNCS 962