Trace and testing metrics on nondeterministic probabilistic processes

MaRDI QIDQ3384913zbMATH OpenFDO

Authors Valentina Castiglioni

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1808.08649, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.4

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Behavioural pseudometrics for nondeterministic probabilistic systems
• Behavioural pseudometrics for nondeterministic probabilistic systems

Cites work

• A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
• A logic for reasoning about time and reliability
• A Theory of Communicating Sequential Processes
• Characterising Testing Preorders for Finite Probabilistic Processes
• Converging from Branching to Linear Metrics on Markov Chains
• Formal verification of parallel programs
• Formal verification of timed properties of randomized distributed algorithms
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Linear distances between Markov chains
• Metrics for labelled Markov processes
• Modal decomposition on nondeterministic probabilistic processes
• Probabilistic logical characterization
• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• SOS-based modal decomposition on nondeterministic probabilistic processes
• Testing equivalences for processes
• The quantitative linear-time-branching-time spectrum
• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes

Cited in

(5)

• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• The theory of traces for systems with nondeterminism, probability, and termination
• Back to the format: a survey on SOS for probabilistic processes

This page was built for publication: Trace and testing metrics on nondeterministic probabilistic processes

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