Modal logic characterization of Markovian testing and trace equivalences

zbMATH Open1276.68119MaRDI QIDQ2863904FDOQ2863904

Authors: Marco Bernardo, Stefania Botta 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107000424?np=y

Recommendations

• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
• Non-bisimulation-based Markovian behavioral equivalences
• A survey of Markovian behavioral equivalences
• Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
• Approximating Markovian testing equivalence

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)

Cited In (8)

• Logical characterization of fluid equivalences
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Trace relations and logical preservation for Markov automata
• Non-bisimulation-based Markovian behavioral equivalences
• Equivalences for fluid stochastic Petri nets
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
• A survey of Markovian behavioral equivalences

This page was built for publication: Modal logic characterization of Markovian testing and trace equivalences

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