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

@article{citeulike:5838558, 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.}, archivePrefix = {arXiv}, author = {de Francesco Albasini and Sabadini, N. and Walters, R. F. C.}, citeulike-article-id = {5838558}, citeulike-linkout-0 = {http://arxiv.org/abs/0909.4136}, citeulike-linkout-1 = {http://arxiv.org/pdf/0909.4136}, day = {23}, eprint = {0909.4136}, keywords = {category-theory, computation, mathematics}, month = {Sep}, posted-at = {2009-09-25 00:26:50}, priority = {2}, title = {Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems}, url = {http://arxiv.org/abs/0909.4136}, year = {2009} }

TY - JOUR ID - citeulike:5838558 L3 - citeulike-article-id:5838558 N2 - 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. TI - Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems KW - category-theory KW - computation KW - mathematics AU - de Francesco Albasini AU - Sabadini, N AU - Walters, RFC PY - 2009/Sep/23/ UR - http://arxiv.org/abs/0909.4136 ER -