scientific article; zbMATH DE number 1786640

MaRDI QIDQ4547952zbMATH OpenFDO

Authors Josep Carmona, Jordi Cortadella, Enric Pastor

Publication date 20 January 2003

zbMATH Keywords

Petri net specificationsautomatic synthesis of asynchronous circuits

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 139979
• scientific article; zbMATH DE number 1955905
• scientific article; zbMATH DE number 5507693
• Decomposition of Asynchronous Sequential Switching Circuits
• Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Abstract interpretation of combinational asynchronous circuits
• Static Analysis
• Diagrammatic reasoning for delay-insensitive asynchronous circuits

Cited in

(14)

• scientific article; zbMATH DE number 910722 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1955907 (Why is no real title available?)
• Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
• scientific article; zbMATH DE number 1955908 (Why is no real title available?)
• scientific article; zbMATH DE number 5042671 (Why is no real title available?)
• Logic Synthesis for Asynchronous Controllers and Interfaces
• scientific article; zbMATH DE number 5485922 (Why is no real title available?)
• scientific article; zbMATH DE number 139979 (Why is no real title available?)
• scientific article; zbMATH DE number 5507693 (Why is no real title available?)
• scientific article; zbMATH DE number 1941056 (Why is no real title available?)
• scientific article; zbMATH DE number 1955905 (Why is no real title available?)
• Performance Enhancement of Asynchronous Circuits
• scientific article; zbMATH DE number 1849110 (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 Q4547952)