scientific article; zbMATH DE number 2040327

MaRDI QIDQ4449542zbMATH OpenFDO

Authors Eugene W. Stark

Publication date 11 February 2004

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Probabilistic I/O Automata: Theories of Two Equivalences
• Bisimulation relations for weighted automata
• CONCUR 2003 - Concurrency Theory
• Composition and behaviors of probabilistic I/O automata
• scientific article; zbMATH DE number 2040321

Cited in

(8)

• Bisimulation relations for weighted automata
• Weighted Bisimulation in Linear Algebraic Form
• Up-To Techniques for Weighted Systems
• A coalgebraic perspective on linear weighted automata
• Probabilistic I/O Automata: Theories of Two Equivalences
• CONCUR 2003 - Concurrency Theory
• Quantitative simulations by matrices
• Weighted tree automata and weighted logics

This page was built for publication:

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