CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Marco Bernardo
,
Marino Miculan
2018-01-01
Cite
DOI
Type
Journal article
Publication
THEORETICAL COMPUTER SCIENCE
Bisimilarity; Modal logic characterizations; Reactive probabilistic systems; Theoretical Computer Science; Computer Science (all)
Related
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
A simple criterion for M,N-adhesivity
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery
Cite
×