English

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

Category Theory 2009-09-24 v1

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.

Keywords

Cite

@article{arxiv.0909.4136,
  title  = {Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems},
  author = {L. de Francesco Albasini and N. Sabadini and R. F. C. Walters},
  journal= {arXiv preprint arXiv:0909.4136},
  year   = {2009}
}