No. 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)

Published: 2002-01-06

Articles