4 papers
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…
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…
Models of High-Level Computation
Damian Arellanes
Classical models of computation have been successful in capturing the very essence of individual computing devices. Although they are useful to understand computability power and l…
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…