Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117zbMATH Open1088.68104OpenAlexW2476951070MaRDI QIDQ5712445FDOQ5712445

Authors: Ernst-Erich Doberkat 

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98117

Recommendations

• Tracing relations probabilistically
• 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

zbMATH Keywords

representation theoryProbabilistic relationsspecification techniques (nondeterministicstochastic)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Tracing relations probabilistically

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science

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