The converse of a stochastic relation

DOI10.1016/j.jlap.2004.01.007zbMath1101.68695OpenAlexW1992257606MaRDI QIDQ1764800

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

ConcurrencyNondeterminismBisimulationConverseRelational calculiStochastic relations

Mathematics Subject Classification ID

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

Cites Work

• Stochastic automata: stability, nondeterminism, and prediction
• Semantics of probabilistic programs
• Topology and descriptive set theory
• Universal coalgebra: A theory of systems
• Nuclear and trace ideals in tensored \(^*\)-categories
• ER modelling from first relational principles
• Bisimulation for labelled Markov processes
• Relational Methods in Computer Science
• Semi-pullbacks and bisimulation in categories of Markov processes
• A final coalgebra theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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