@misc{ghica2024fully,
      title={A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics}, 
      author={Dan R. Ghica and George Kaye and David Sprunger},
      year={2024},
      eprint={2201.10456},
      archivePrefix={arXiv},
      primaryClass={cs.LO}
}