Bisimilarity

Probabilistic bisimilarity as testing equivalence
Larsen and Skou initiated the study of probabilistic bisimilarity and its characterisation in terms of tests. Later on, van Breugel et …
Yuxin Deng, Yuan Feng
引用 DOI URL