TY  - RPRT
TI  - A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
AU  - Dan R. Ghica
AU  - George Kaye
AU  - David Sprunger
PY  - 2026
DO  - 10.46298/lmcs-22(2:34)2026
UR  - https://arxiv.org/abs/2201.10456
ID  - 2201.10456
ER  -