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

DOI10.1017/S0960129507006408MaRDI QIDQ5458058zbMATHFDO

Authors Marco Bernardo, Stefania Botta

Publication date 10 April 2008

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

zbMATH Keywords

testingtracebisimulation

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)

Recommendations

• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• A modal logic for non-deterministic information systems
• A theory for the semantics of stochastic and non-deterministic continuous systems
• On determinism in modal transition systems
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1354147
• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• Acceptance trees
• Algebraic laws for nondeterminism and concurrency
• Bisimulation through probabilistic testing
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• Observation equivalence as a testing equivalence
• Performance measure sensitive congruences for Markovian process algebras
• Reactive, generative, and stratified models of probabilistic processes
• Testing equivalences for processes
• Testing preorders for probabilistic processes.

Cited in

(9)

• scientific article; zbMATH DE number 1354147 (Why is no real title available?)
• Logical characterization of fluid equivalences
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Model-based testing of probabilistic systems
• Modal logic characterization of Markovian testing and trace equivalences
• scientific article; zbMATH DE number 7649944 (Why is no real title available?)
• A survey of Markovian behavioral equivalences
• Equivalences for fluid stochastic Petri nets
• Performance preserving equivalence for stochastic process algebra dtsdPBC

This page was built for publication: A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458058)