Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity

DOI10.1016/J.ENTCS.2005.12.079zbMATH Open1316.68086OpenAlexW2080988840MaRDI QIDQ5262954FDOQ5262954

Marco Bernardo

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.079

Recommendations

• Non-bisimulation-based Markovian behavioral equivalences
• Towards State Space Reduction Based on T-Lumpability-Consistent Relations
• A survey of Markovian behavioral equivalences
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• Modal logic characterization of Markovian testing and trace equivalences

zbMATH Keywords

Markov chainbisimulationMarkovian process algebra

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• Exact and ordinary lumpability in finite Markov chains
• Testing equivalences for processes
• Performance measure sensitive congruences for Markovian process algebras
• Comparative branching-time semantics for Markov chains
• Reactive, generative, and stratified models of probabilistic processes
• Algebraic theory of probabilistic processes.
• Title not available (Why is that?)
• Testing preorders for probabilistic processes.
• Testing equivalence as a bisimulation equivalence
• Non-bisimulation-based Markovian behavioral equivalences
• Title not available (Why is that?)

Cited In (3)

• Logical characterization of fluid equivalences
• Non-bisimulation-based Markovian behavioral equivalences
• Towards State Space Reduction Based on T-Lumpability-Consistent Relations

This page was built for publication: Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity

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