Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

Abstract

We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types.

References in corpus (2)

• The compositional construction of Markov processes
• An algebra of automata which includes both classical and quantum entities