Deterministic asynchronous automata for infinite traces

DOI10.1007/BF01178512MaRDI QIDQ1338892zbMATH OpenFDO

Authors Volker Diekert, Anca Muscholl

Publication date 23 November 1994

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

Muller automatoninfinite tracesnon-terminating concurrent systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 512867
• Determinizing asynchronous automata
• An extension of the notions of traces and of asynchronous automata
• scientific article; zbMATH DE number 3911715
• scientific article; zbMATH DE number 3995056
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Asynchronous trace-matching automata
• Asynchronous cellular automata for infinite traces
• Determinizing Büchi asynchronous automata
• Notes on finite asynchronous automata

Cites work

• scientific article; zbMATH DE number 3970130 (Why is no real title available?)
• scientific article; zbMATH DE number 176496 (Why is no real title available?)
• scientific article; zbMATH DE number 176497 (Why is no real title available?)
• scientific article; zbMATH DE number 176739 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• A metric for traces
• A syntactic congruence for rational \(\omega\)-languages
• Asynchronous mappings and asynchronous cellular automata
• Combinatorial problems of commutation and rearrangements
• Combinatorics on traces
• Testing and generating infinite sequences by a finite automaton
• The poset of infinitary traces

Cited in

(13)

• Muller message-passing automata and logics
• Recognizable and logically definable languages of infinite computations in concurrent automata
• scientific article; zbMATH DE number 4112050 (Why is no real title available?)
• scientific article; zbMATH DE number 3995056 (Why is no real title available?)
• Asynchronous cellular automata for infinite traces
• Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs
• Regular sets of infinite message sequence charts
• Logical definability on infinite traces
• scientific article; zbMATH DE number 17820 (Why is no real title available?)
• Classifying recognizable infinitary trace languages using word automata
• Classifying recognizable infinitary trace languages using word automata
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• On the complementation of asynchronous cellular Büchi automata

This page was built for publication: Deterministic asynchronous automata for infinite traces

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