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

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

Cited In (8)

• 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?)
• 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)