scientific article; zbMATH DE number 1499084

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.
• scientific article; zbMATH DE number 1086709

Cited in

(9)

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

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