7 citations · 18 across the 9 of their papers we have counts for
5 papers · 1 filter
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…
The differential calculus of causal functions
David Sprunger, Bart Jacobs
Causal functions of sequences occur throughout computer science, from theory to hardware to machine learning. Mealy machines, synchronous digital circuits, signal flow graphs, and…
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
We investigate causal computations taking sequences of inputs to sequences of outputs where the th output depends on the first inputs only. We model these in category theory…
Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…
Quantitative bisimulations using coreflections and open morphisms
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata +1
We investigate a canonical way of defining bisimilarity of systems when their semantics is given by a coreflection, typically in a category of transition systems. We use the fact,…