Automata of asynchronous behaviors

DOI10.1016/S0304-3975(99)00021-3zbMath0951.68062MaRDI QIDQ1575891

Janusz A. Brzozowski, Radu Negulescu

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrent processesasynchronous circuits

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Weakly regular quantum grammars and asynchronous quantum automata

Cites Work

• On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automata of asynchronous behaviors