scientific article; zbMATH DE number 4049572

MaRDI QIDQ3786429zbMATH OpenFDO

Authors Michael Yoeli

Publication date 1987

zbMATH Keywords

asynchronous circuitsdigital circuitsmarked graphstrace structures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of graph theory to circuits and networks (94C15)

Recommendations

• scientific article; zbMATH DE number 1696445
• scientific article; zbMATH DE number 3861073
• On process-algebraic verification of asynchronous circuits
• Verification of asynchronous circuits by BDD-based model checking of Petri nets
• scientific article; zbMATH DE number 1303725

Cited in

(6)

• scientific article; zbMATH DE number 1696445 (Why is no real title available?)
• Elasticity and Petri Nets
• Step coverability algorithms for communicating systems
• scientific article; zbMATH DE number 1515325 (Why is no real title available?)
• Verification of asynchronous circuits by BDD-based model checking of Petri nets
• On process-algebraic verification of asynchronous circuits

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