scientific article; zbMATH DE number 4050939

MaRDI QIDQ3787428zbMATH OpenFDO

Authors R. P. Kurshan

Publication date 1988

zbMATH Keywords

\(\omega \)-regular languagesautomata model of non-terminating processesBüchi automatacommunication protocolscomplex integrated hardware systemscoordinationP-SPACE completestate space

Mathematics Subject Classification ID

Theory of software (68N99) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 795179
• scientific article; zbMATH DE number 734956
• Optimistic synchronization-based state-space reduction
• scientific article; zbMATH DE number 1223629
• Reduction of timed hybrid systems

Cited in

(6)

• Goal-oriented reduction of automata networks
• Compositional reasoning
• scientific article; zbMATH DE number 1223629 (Why is no real title available?)
• Intrinsic Reducibilities
• scientific article; zbMATH DE number 795179 (Why is no real title available?)
• Verification of asynchronous circuits by BDD-based model checking of Petri nets

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 Q3787428)