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.