Subject: categories: process algebras

From: "Anna Labella" <[email-masked]>
Date: Fri, 21 Apr 2000 07:51:40 +0200

----------
>Da: matthieu amiguet <[email-masked]>
>A: [email-masked]
>Oggetto: categories: process algebras
>Data: Gio, 20 apr 2000 14:49
>

>Dear categoricians,
>
>Is there any formalization of process algebras in term of categories? I
>would be interested in giving an computational, multi-process semantics
>to certain graphs, and I thought it could be done in terms of a functor
>to a process category (if this concept exists...)
>Is there any literature about this?
>Thank you for your help,
>
>Matthieu Amiguet
>
We have a categorical formalization of process algebras in terms of enriched
category theory. You can see for a general presentation:
S.Kasangian, A.Labella "Observational trees as models for concurrency"
Math. Struct. in Comp.Science (1999) vol.9 pp.687-718

Anna Labella