The parallel composition of processes

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
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

Keywords

Category Theory

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/228540

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0904.3961
 http://arxiv.org/abs/0904.3961

Collections

arXiv