Marco Bernardo

Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems

Published with Wowchemy — the free, open source website builder that empowers creators.