A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

DOI10.1017/S0960129507006408zbMath1141.68044MaRDI QIDQ5458058

Stefania Botta, Marco Bernardo

Publication date: 10 April 2008

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

tracetestingbisimulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Equivalences for fluid stochastic Petri nets, Unnamed Item, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Model-based testing of probabilistic systems, Logical characterization of fluid equivalences

Cites Work

• Unnamed Item
• Observation equivalence as a testing equivalence
• Bisimulation through probabilistic testing
• Testing equivalences for processes
• Performance measure sensitive congruences for Markovian process algebras
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• Testing preorders for probabilistic processes.
• Reactive, generative, and stratified models of probabilistic processes
• Algebraic laws for nondeterminism and concurrency
• Acceptance trees
• A Compositional Approach to Performance Modelling