Approximating Markovian testing equivalence

DOI10.1016/J.TCS.2011.07.019zbMATH Open1234.68315OpenAlexW2017994823MaRDI QIDQ764291FDOQ764291

Authors: Alessandro Aldini 

Publication date: 13 March 2012

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.019

Recommendations

• Approximate testing equivalence based on time, probability, and observed behavior
• A survey of Markovian behavioral equivalences
• scientific article; zbMATH DE number 1759619
• Non-bisimulation-based Markovian behavioral equivalences
• Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity

zbMATH Keywords

process algebraapproximate equivalenceMarkovian testing equivalence

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Structural Operational Semantics for Stochastic Process Calculi
• Metrics for labelled Markov processes
• Compatibility and inheritance in software architectures
• A behavioural pseudometric for probabilistic transition systems
• Approximate testing equivalence based on time, probability, and observed behavior
• Rate-Based Transition Systems for Stochastic Process Calculi
• A process algebraic approach to software architecture design
• A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
• Title not available (Why is that?)
• Equivalence and preorder checking for finite-state systems

Cited In (6)

• Back to the format: a survey on SOS for probabilistic processes
• Approximate testing equivalence based on time, probability, and observed behavior
• Modal logic characterization of Markovian testing and trace equivalences
• Testing probabilistic equivalence through reinforcement learning
• A survey of Markovian behavioral equivalences
• Title not available (Why is that?)

This page was built for publication: Approximating Markovian testing equivalence

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