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

DOI10.1017/S0960129507006408MaRDI QIDQ5458058zbMATH OpenFDO

Authors Marco Bernardo, Stefania Botta

Publication date 10 April 2008

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

Full work available at URL https://doi.org/10.1017/S0960129507006408

zbMATH Keywords

bisimulationtestingtrace

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

• 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
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• 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

(12)

• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Logical characterization of fluid equivalences
• Equivalences for fluid stochastic Petri nets
• Modal logic characterization of Markovian testing and trace equivalences
• A survey of Markovian behavioral equivalences
• scientific article; zbMATH DE number 1354147 (Why is no real title available?)
• Graded monads and graded logics for the linear time -- branching time spectrum
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Model-based testing of probabilistic systems
• Logical characterization of branching bisimilarity over random processes
• Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes
• Quantitative graded semantics and spectra of behavioural metrics

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)