Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism

DOI10.1007/978-3-030-59854-9_5MaRDI QIDQ2056980zbMATH OpenOpenAlexFDO

Authors Marco Bernardo

Publication date 8 December 2021

Full work available at URL https://doi.org/10.1007/978-3-030-59854-9_5

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
• (In)finite trace equivalence of probabilistic transition systems

Cited in

(8)

• The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
• Determining asynchronous test equivalence for probabilistic processes
• Towards general axiomatizations for bisimilarity and trace semantics
• Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
• THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• A Complete Axiomatisation for Probabilistic Trace Equivalence
• scientific article; zbMATH DE number 4100371 (Why is no real title available?)

This page was built for publication: Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism

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