20 Apr
2000
20 Apr
'00
12:49 p.m.
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