The converse of a stochastic relation
type: Item
instance of: scholarly article
title: The converse of a stochastic relation
zbMATH Open document ID: 1101.68695
author: Ernst-Erich Doberkat
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2136936
zbMATH Keywords: Stochastic relations
zbMATH Keywords: Concurrency
zbMATH Keywords: Bisimulation
zbMATH Keywords: Converse
zbMATH Keywords: Relational calculi
zbMATH Keywords: Nondeterminism
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.01.007
OpenAlex ID: W1992257606
cites work: Nuclear and trace ideals in tensored \(^*\)-categories
cites work: A final coalgebra theorem
cites work: Relational Methods in Computer Science
cites work: Q2740887
cites work: Bisimulation for labelled Markov processes
cites work: Stochastic automata: stability, nondeterminism, and prediction
cites work: Q4417862
cites work: Q4449236
cites work: ER modelling from first relational principles
cites work: Semi-pullbacks and bisimulation in categories of Markov processes
cites work: Q3946875
cites work: Topology and descriptive set theory
cites work: Semantics of probabilistic programs
cites work: Q4215784
cites work: Q5533878
cites work: Universal coalgebra: A theory of systems
cites work: Q4396494
cites work: Q4040000
DOI: 10.1016/J.JLAP.2004.01.007
description: scientific article; zbMATH DE number 2136936