2009/04/25 by L. de Francesco Albasini, N. Sabadini, Albasini, L. de Francesco +3
Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #math.CT
paper · pdf · doi:10.48550/arxiv.0904.3961
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
arxiv created 2009/04/25 · openalex publication_date 2009/04/25 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.