Determinizing Büchi asynchronous automata

DOI10.1007/3-540-60692-0_67zbMath1354.68158OpenAlexW1040402576MaRDI QIDQ2956703

No author found.

Publication date: 19 January 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

On the complementation of asynchronous cellular Büchi automata ⋮ Distributed Asynchronous Automata ⋮ Keeping track of the latest gossip in a distributed system ⋮ Determinizing asynchronous automata ⋮ On the complementation of Büchi asynchronous cellular automata ⋮ Compositional synthesis of asynchronous automata ⋮ Traces of Control-Flow Graphs