scientific article; zbMATH DE number 3497800

MaRDI QIDQ4079517zbMATH OpenFDO

Authors B. A. Lagovier

Publication date 1973

Mathematics Subject Classification ID

Recommendations

• Automated analysis of asynchronously communicating systems
• Determinizing asynchronous automata
• scientific article; zbMATH DE number 1948506
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 554484
• Asynchronous trace-matching automata
• Analysis and synthesis of abstract automata
• Determinizing Büchi asynchronous automata
• Notes on finite asynchronous automata
• Automata of asynchronous behaviors

Cited in

(1)

• scientific article; zbMATH DE number 1254382 (Why is no real title available?)

This page was built for publication:

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