Determinizing asynchronous automata

DOI10.1007/3-540-58201-0_63MaRDI QIDQ4632421zbMATH OpenOpenAlexFDO

Authors

Publication date 29 April 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58201-0_63

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Optimal Zielonka-type construction of deterministic asynchronous automata
• Constructing Exponential-Size Deterministic Zielonka Automata
• Determinizing Büchi asynchronous automata
• A quadratic construction for Zielonka automata with acyclic communication structure
• scientific article; zbMATH DE number 6687767

Cites work

• scientific article; zbMATH DE number 4112050 (Why is no real title available?)
• scientific article; zbMATH DE number 512867 (Why is no real title available?)
• scientific article; zbMATH DE number 4119618 (Why is no real title available?)
• Asynchronous cellular automata for infinite traces
• Asynchronous mappings and asynchronous cellular automata
• Determinizing Büchi asynchronous automata
• Notes on finite asynchronous automata
• On the complementation of Büchi asynchronous cellular automata

Cited in

(18)

• Keeping track of the latest gossip in a distributed system
• A quadratic construction for Zielonka automata with acyclic communication structure
• An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
• Deterministic asynchronous automata for infinite traces
• scientific article; zbMATH DE number 554484 (Why is no real title available?)
• 2-asynchronous automata
• Compositional synthesis of asynchronous automata
• scientific article; zbMATH DE number 2111980 (Why is no real title available?)
• Determinizing Büchi asynchronous automata
• scientific article; zbMATH DE number 3911715 (Why is no real title available?)
• scientific article; zbMATH DE number 3497800 (Why is no real title available?)
• Asynchronous sliding block maps
• scientific article; zbMATH DE number 6687767 (Why is no real title available?)
• DETERMINISTIC AND NON-DETERMINISTIC ASYNCHRONOUS AUTOMATIC STRUCTURES
• Constructing Exponential-Size Deterministic Zielonka Automata
• scientific article; zbMATH DE number 5587278 (Why is no real title available?)
• scientific article; zbMATH DE number 3995056 (Why is no real title available?)
• Optimal Zielonka-type construction of deterministic asynchronous automata

This page was built for publication: Determinizing asynchronous automata

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