A decomposition theorem for probabilistic transition systems

DOI10.1016/0304-3975(95)00004-GMaRDI QIDQ673117zbMATH OpenFDO

Authors Oded Maler

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilistic transition systemsdeterministic automata

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 512839
• scientific article; zbMATH DE number 3988717
• scientific article; zbMATH DE number 1439861
• A decomposition theorem for finite persistent transition systems

Cites work

• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3269042 (Why is no real title available?)
• scientific article; zbMATH DE number 3307591 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines

Cited in

(11)

• A decomposition theorem for finite persistent transition systems
• scientific article; zbMATH DE number 3570372 (Why is no real title available?)
• Effective theories for circuits and automata
• Parametric probabilistic transition systems for system design and analysis
• Synthesizing Probabilistic Invariants via Doob’s Decomposition
• On Almost-Sure Properties of Probabilistic Discrete Event Systems
• scientific article; zbMATH DE number 3988717 (Why is no real title available?)
• Equivalences for silent transitions in probabilistic systems (extended abstract)
• Categorical foundations for randomly timed automata
• On coverings of products of uninitialized sequential quantum machines
• scientific article; zbMATH DE number 1795912 (Why is no real title available?)

This page was built for publication: A decomposition theorem for probabilistic transition systems

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