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

by I Christoff
Venue:In Proceedings the 3rd International Conference on Concurrency Theory, LNCS 458