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

DOI10.1017/S0960129507006408zbMATH Open1141.68044MaRDI QIDQ5458058FDOQ5458058

Authors: Marco Bernardo, Stefania Botta 

Publication date: 10 April 2008

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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)

• Logical characterization of fluid equivalences
• Model-based testing of probabilistic systems
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Title not available (Why is that?)
• Modal logic characterization of Markovian testing and trace equivalences
• Title not available (Why is that?)
• Equivalences for fluid stochastic Petri nets
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A survey of Markovian behavioral equivalences

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)