Testing equivalences and fully abstract models for probabilistic processes (0)

by I Christoff
Venue:Proc. CONCUR