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

Publiceret: 2002-01-06

Artikler