Congruences for stochastic automata
From MaRDI portal
Publication:5087789
DOI10.13137/2464-8728/33313zbMATH Open1490.68126arXiv2011.06954MaRDI QIDQ5087789FDOQ5087789
Authors: Ernst-Erich Doberkat 
Publication date: 1 July 2022
Full work available at URL: https://arxiv.org/abs/2011.06954
Recommendations
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)
Cites Work
- Measure theory. Vol. I and II
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Measurable relations
- Title not available (Why is that?)
- Bisimulation through probabilistic testing
- Labelled Markov processes.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some Selection Theorems for Measurable Functions
- Coalgebraic logic over general measurable spaces -- a survey
- Algebraic properties of stochastic effectivity functions
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Special topics in mathematics for computer scientists. Sets, categories, topologies and measures
- Introduction to coalgebra. Towards mathematics of states and observation
- Stochastic automata: stability, nondeterminism, and prediction
- Title not available (Why is that?)
Cited In (5)
This page was built for publication: Congruences for stochastic automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087789)
