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

by I Christoff
Venue:In Proceedings the 1st International Conference on Concurrency Theory