Allegories of circuits

MaRDI QIDQ4501137zbMATH OpenFDO

Authors Carolyn Brown, Alan Jeffrey

Publication date 3 September 2000

Mathematics Subject Classification ID

Circuits, networks (94C99)

Recommendations

• scientific article; zbMATH DE number 4051519
• scientific article; zbMATH DE number 4049567
• Diagrammatic Semantics for Digital Circuits.
• Allegories as a basis for algorithmics

Cited in

(9)

• A categorical framework for typing CCS-style process communication
• A graphical representation of relational formulae with complementation
• On a Graph Calculus for Algebras of Relations
• Positive Fork Graph Calculus
• scientific article; zbMATH DE number 4049567 (Why is no real title available?)
• Alternation in simple devices
• Propositional dynamic logic with storing, recovering and parallel composition
• Simple circuits are not that simple
• Bicategories of processes

This page was built for publication: Allegories of circuits

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