Diagrammatic reasoning for delay-insensitive asynchronous circuits

DOI10.1007/978-3-642-38164-5_5zbMATH Open1264.94126OpenAlexW32293111MaRDI QIDQ4922073FDOQ4922073

Authors: Dan R. Ghica 

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_5

Recommendations

• Diagrammatic Semantics for Digital Circuits.
• scientific article; zbMATH DE number 2217813
• scientific article; zbMATH DE number 4201658
• Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
• Extensions of asynchronous circuits and the delay problem. I: Good extensions and the delay problem of the first kind

Mathematics Subject Classification ID

Cites Work

• Categorical quantum mechanics
• Title not available (Why is that?)
• Geometry of synthesis
• Geometry of synthesis III
• Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
• A formal approach to designing delay-insensitive circuits
• Higher-dimensional word problems with applications to equational logic
• Towards an algebraic theory of Boolean circuits.
• Title not available (Why is that?)
• On the Hopf algebraic origin of Wick normal ordering.
• Syntactic control of concurrency

Cited In (11)

• Title not available (Why is that?)
• Towards compositional graph theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Interacting Hopf algebras
• Bialgebraic foundations for the operational semantics of string diagrams
• Contextual equivalence for signal flow graphs
• Confluence of Graph Rewriting with Interfaces
• String diagram rewrite theory III: Confluence with and without Frobenius
• Diagrammatic Semantics for Digital Circuits.

This page was built for publication: Diagrammatic reasoning for delay-insensitive asynchronous circuits

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