4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
George Kaye
This thesis details a project to define a fully compositional theory of synchronous sequential circuits built from primitive components, motivated by applying techniques successful…
cs.LO2023★ 1 cited
Rewriting Modulo Traced Comonoid Structure
Dan R. Ghica, George Kaye
In this paper we adapt previous work on rewriting string diagrams using hypergraphs to the case where the underlying category has a traced comonoid structure, in which wires can be…
cs.LO2022★ 4 cited
A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
Dan R. Ghica, George Kaye, David Sprunger
Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which…