scientific article; zbMATH DE number 512867

MaRDI QIDQ4281564zbMATH OpenFDO

Authors Volker Diekert, Anca Muscholl

Publication date 10 March 1994

zbMATH Keywords

deterministic asynchronous cellular Muller automatainfinite tracesrecognizable languages

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• Deterministic asynchronous automata for infinite traces
• Asynchronous cellular automata for infinite traces
• On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages
• Toward a Structure Theory of Regular Infinitary Trace Languages

Cited in

(12)

• An extension of Kleene's and Ochmański's theorems to infinite traces
• Deterministic asynchronous automata for infinite traces
• scientific article; zbMATH DE number 4155919 (Why is no real title available?)
• scientific article; zbMATH DE number 4037203 (Why is no real title available?)
• scientific article; zbMATH DE number 176739 (Why is no real title available?)
• Logical definability on infinite traces
• Determinizing asynchronous automata
• On the complementation of Büchi asynchronous cellular automata
• Probabilistic asynchronous automata
• Asynchronous cellular automata for infinite traces
• Automata for epistemic temporal logic with synchronous communication
• Disjointness, inclusion, and regularity of -rational trace languages (extended abstract)

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 Q4281564)