The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

DOI10.1016/J.TCS.2019.09.019zbMATH Open1433.68242OpenAlexW2973264323MaRDI QIDQ1989321FDOQ1989321

Authors: Valentina Castiglioni, Michele Loreti, Simone Tini 

Publication date: 21 April 2020

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

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

Recommendations

• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• Behavioural pseudometrics for nondeterministic probabilistic systems
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism

zbMATH Keywords

trace metricnondeterministic probabilistic processesbisimulation metrictesting metric

Mathematics Subject Classification ID

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

• A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• Title not available (Why is that?)
• Metrics for labelled Markov processes
• Testing equivalences for processes
• Labelled Markov processes.
• Title not available (Why is that?)
• An application of games to the completeness problem for formalized theories
• Formal verification of parallel programs
• A Theory of Communicating Sequential Processes
• A behavioural pseudometric for probabilistic transition systems
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Characterising Testing Preorders for Finite Probabilistic Processes
• Title not available (Why is that?)
• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
• Probabilistic logical characterization
• On behavioural pseudometrics and closure ordinals
• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• SOS specifications for uniformly continuous operators
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Compositionality of approximate bisimulation for probabilistic systems
• Fixed-point characterization of compositionality properties of probabilistic processes combinators
• The quantitative linear-time-branching-time spectrum
• Converging from Branching to Linear Metrics on Markov Chains
• Linear distances between Markov chains
• Modal decomposition on nondeterministic probabilistic processes
• Title not available (Why is that?)
• SOS-based modal decomposition on nondeterministic probabilistic processes

Cited In (10)

• Automata, Languages and Programming
• Back to the format: a survey on SOS for probabilistic processes
• How adaptive and reliable is your program?
• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
• Determining asynchronous test equivalence for probabilistic processes
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• A framework to measure the robustness of programs in the unpredictable environment

This page was built for publication: The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

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