## On Categories of Asynchronous Circuits (1994)

### BibTeX

@MISC{Sabadini94oncategories,

author = {N. Sabadini and R.F.C. Walters and Henry Weld},

title = {On Categories of Asynchronous Circuits},

year = {1994}

}

### OpenURL

### Abstract

In this paper we describe a general categorical model of asynchronous circuits flexible enough to describe various paradigms of communication between circuit elements -- each paradigm gives rise to a specific category of circuits. In each case the operations on circuits and semantics give an algebra of circuits akin to a process algebra in which series composition is the composition of the category. The essential aspects of the model are ffl a category of data types [Wal89]; ffl a category Circ whose objects are data types, and whose arrows are input-output circuits built from data types; ffl a semantic category Sem suitable to contain behaviours of the circuits; ffl operations on Circ and Sem (for example, cases, parallel, and feedback operations); ffl and a behaviour functor bhv : Circ ! Sem, which preserves the operations (compositionality of behaviour). The study of asynchrony in circuit theory is precisely the study of circuit categories and associated behaviour functors ...