The parallel composition of processes
Category Theory
2009-04-28 v1
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.
Keywords
Cite
@article{arxiv.0904.3961,
title = {The parallel composition of processes},
author = {L. de Francesco Albasini and N. Sabadini and R. F. C. Walters},
journal= {arXiv preprint arXiv:0904.3961},
year = {2009}
}
Comments
This article was presented at Category Theory 2008 in Calais. It was also contained in the report of an Italian project: ART 2008, Analysing Reduction systems using Transition systems, Forum, Udine, 2008