Modal logic characterization of Markovian testing and trace equivalences

MaRDI QIDQ2863904zbMATH OpenFDO

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

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

• 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

Cited in

(8)

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

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)