Constructive logical characterizations of bisimilarity for reactive probabilistic systems

Bernardo Marco, Miculan Marino
2018-01-01
Cite DOI
Type
Journal article