A hierarchy of equivalences for probabilistic processes. In: (2008)

by M Nunez, L Llana
Venue:28th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’08, LNCS 5048.