Constructive logical characterizations of bisimilarity for reactive probabilistic systems

DOI10.1016/j.tcs.2018.12.003zbMath1476.68165MaRDI QIDQ1731513

Marco Bernardo, Marino Miculan

Publication date: 13 March 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.12.003

zbMATH Keywords

bisimilarity; modal logic characterizations; reactive probabilistic systems

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)