Testing Equivalences and Fully Abstract Models for Probabilistic Processes (1990)

by I Christoff
Venue:in Proc. of the 1st Int. Conf. on Concurrency Theory (CONCUR 1990), Springer, LNCS 458:126–140, Amsterdam (The