----------
Da: matthieu amiguet <matthieu.amiguet@info.unine.ch> A: categories@mta.ca 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