scientific article; zbMATH DE number 7552286

DOI10.13137/2464-8728/33313zbMath1490.68126arXiv2011.06954MaRDI QIDQ5087789

Ernst-Erich Doberkat

Publication date: 1 July 2022

Full work available at URL: https://arxiv.org/abs/2011.06954

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

congruencesstochastic automatafactoringGiry functorstepwise reduction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic properties of stochastic effectivity functions
• Stochastic automata: stability, nondeterminism, and prediction
• Bisimulation through probabilistic testing
• Universal coalgebra: A theory of systems
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Introduction to Coalgebra
• Coalgebraic logic over general measurable spaces – a survey
• Special Topics in Mathematics for Computer Scientists
• Measurable relations
• Some Selection Theorems for Measurable Functions

This page was built for publication: