The parallel composition of processes Export

@article{citeulike:4450879, abstract = {We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying broadcast communication.}, archivePrefix = {arXiv}, author = {de Francesco and Sabadini, N. and Walters, R. F. C.}, citeulike-article-id = {4450879}, citeulike-linkout-0 = {http://arxiv.org/abs/0904.3961}, citeulike-linkout-1 = {http://arxiv.org/pdf/0904.3961}, eprint = {0904.3961}, keywords = {category-theory, computation, graphs}, month = {Apr}, posted-at = {2009-05-02 06:40:05}, priority = {2}, title = {The parallel composition of processes}, url = {http://arxiv.org/abs/0904.3961}, year = {2009} }

TY - JOUR ID - citeulike:4450879 L3 - citeulike-article-id:4450879 N2 - We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying broadcast communication. TI - The parallel composition of processes KW - category-theory KW - computation KW - graphs AU - de Francesco AU - Sabadini, N AU - Walters, RFC PY - 2009/Apr/25/ UR - http://arxiv.org/abs/0904.3961 ER -