1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Compositional Separation of Control Flow and Data Flow
Damian Arellanes
Every Model of High-Level Computation (MHC) has an underlying composition mechanism for combining simple computing devices into more complex ones. Composition can be done by (expli…
cs.LO2026
Compositional Control-Driven Boolean Circuits
Damian Arellanes
Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied f…
cs.LO2026
Colimit-Based Composition of High-Level Computing Devices
Damian Arellanes
Models of High-level Computation (MHCs) provide effective means to describe complex real-world computing systems because they offer formal foundations for the specification of inte…