Tracing relations probabilistically

MaRDI QIDQ5472855zbMATH OpenFDO

Authors Ernst-Erich Doberkat

Publication date 19 June 2006

zbMATH Keywords

probabilistic relationsrepresentation theoryspecification techniques (nondeterministic, stochastic)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relational and Kleene-Algebraic Methods in Computer Science
• The converse of a stochastic relation
• scientific article; zbMATH DE number 1956516
• (In)finite trace equivalence of probabilistic transition systems
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities

Cited in

(1)

• Relational and Kleene-Algebraic Methods in Computer Science

This page was built for publication: Tracing relations probabilistically

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