Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems
L. de Francesco AlbasiniN. SabadiniR. F. C. Walters
所有作者
L. de Francesco AlbasiniN. SabadiniR. F. C. Walters
文献摘要
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.