Automata of asynchronous behaviors

DOI10.1016/S0304-3975(99)00021-3MaRDI QIDQ1575891zbMATH OpenFDO

Authors Janusz 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)

Recommendations

• 2-asynchronous automata
• Automata and concurrency
• scientific article; zbMATH DE number 3861073
• scientific article; zbMATH DE number 2134161
• Verification of asynchronous circuits using timed automata

Cites work

• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 8771 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• Graph-Based Algorithms for Boolean Function Manipulation
• On the existence of delay-insensitive fair arbiters: Trace theory and its limitations

Cited in

(8)

• Analyse und Synthese von asynchronen ND-Automaten
• 2-asynchronous automata
• scientific article; zbMATH DE number 2111980 (Why is no real title available?)
• scientific article; zbMATH DE number 3497800 (Why is no real title available?)
• scientific article; zbMATH DE number 6687767 (Why is no real title available?)
• Weakly regular quantum grammars and asynchronous quantum 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?)

This page was built for publication: Automata of asynchronous behaviors

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