scientific article; zbMATH DE number 1786640

zbMATH Open1003.68096MaRDI QIDQ4547952FDOQ4547952

Authors: Josep Carmona, Jordi Cortadella, Enric Pastor 

Publication date: 20 January 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (14)

• Logic Synthesis for Asynchronous Controllers and Interfaces
• Performance Enhancement of Asynchronous Circuits
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Concurrent Rewriting Semantics and Analysis of Asynchronous Digital 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 Q4547952)