The converse of a stochastic relation

DOI10.1016/J.JLAP.2004.01.007MaRDI QIDQ1764800zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 22 February 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.01.007

zbMATH Keywords

ConcurrencyBisimulationNondeterminismConverseRelational calculiStochastic relations

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1956516
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Stochastic Relations
• scientific article; zbMATH DE number 3956448
• Lattice properties of congruences for stochastic relations

Cites work

• scientific article; zbMATH DE number 1641581 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 1956516 (Why is no real title available?)
• scientific article; zbMATH DE number 2038770 (Why is no real title available?)
• scientific article; zbMATH DE number 3245885 (Why is no real title available?)
• A final coalgebra theorem
• Bisimulation for labelled Markov processes
• ER modelling from first relational principles
• Nuclear and trace ideals in tensored \(^*\)-categories
• Relational Methods in Computer Science
• Semantics of probabilistic programs
• Semi-pullbacks and bisimulation in categories of Markov processes
• Stochastic automata: stability, nondeterminism, and prediction
• Topology and descriptive set theory
• Universal coalgebra: A theory of systems

Cited in

(6)

• Lattice properties of congruences for stochastic relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Algebra and Coalgebra in Computer Science
• Relational and Kleene-Algebraic Methods in Computer Science
• Tracing relations probabilistically
• scientific article; zbMATH DE number 1956516 (Why is no real title available?)

This page was built for publication: The converse of a stochastic relation

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