Bla95 Andreas Blass. A category arising in linear logic, complexity theory, and set theory. Cambridge University Press. Gir87 J.-Y. Girard. GP93 V. Gupta and V.R. Pratt.
Gates accept concurrent behavior.
IEEE Symp. on Foundations of Comp. How comprehensive is the category of semigroups. Kel82 G.M. Kelly. Lecture Notes . Cambridge University Press, 1982.