Axiomatizations for probabilistic finite-state
by
Yuxin Deng
,
Catuscia Palamidessi
BibTeX
@MISC{Deng_axiomatizationsfor,
author = {Yuxin Deng and Catuscia Palamidessi},
title = {Axiomatizations for probabilistic finite-state},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
behaviors
Citations
| 17 | Equational axioms for probabilistic bisimilarity (preliminary report - Aceto, Ésik, et al. - 1999 |
