A unifying approach to probabilistic testing equivalences

DOI10.1016/J.TCS.2026.115928MaRDI QIDQ7240314zbMATH OpenFDO

Authors Weijun Chen, Yuxi Fu, Huan Long, Hao Wu

Publication date 11 May 2026

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

Full work available at URL https://doi.org/10.1016/J.TCS.2026.115928

zbMATH Keywords

distribution-based semanticsprobabilistic concurrent systemtesting equivalence

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A spectrum of approximate probabilistic bisimulations
• A spectrum of behavioral relations over LTSs on probability distributions
• A testing scenario for probabilistic processes
• Basic observables for processes
• Behavioural pseudometrics for nondeterministic probabilistic systems
• Branching time and abstraction in bisimulation semantics
• Characterising Testing Preorders for Finite Probabilistic Processes
• Communicating sequential processes
• CONCUR '95: Concurrency theory. 6th international conference, Philadelphia, PA, USA, August 21--24, 1995. Proceedings
• Contextual behavioural metrics
• Divergence and fair testing
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1927574 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Model independent approach to probabilistic models
• Model-based testing of probabilistic systems
• On divergence-sensitive weak probabilistic bisimilarity
• Polynomial time decision algorithms for probabilistic automata
• Probabilistic bisimilarity as testing equivalence
• Probabilistic weak bisimulation and axiomatization for probabilistic models
• Recursive Markov decision processes and recursive stochastic games
• Remarks on testing probabilistic processes
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Semantics of probabilistic processes. An operational approach
• Testing equivalences for processes
• Testing Finitary Probabilistic Processes
• Testing preorders for probabilistic processes.
• Theory of interaction
• Uniform random process model revisited

This page was built for publication: A unifying approach to probabilistic testing equivalences

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