From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1493 Path: news.gmane.org!not-for-mail From: "Anna Labella" Newsgroups: gmane.science.mathematics.categories Subject: process algebras Date: Fri, 21 Apr 2000 07:51:40 +0200 Message-ID: <20000421055400.MRQY19811.fep03-svc.tin.it@[212.171.210.220]> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017874 31506 80.91.229.2 (29 Apr 2009 15:11:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:14 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Apr 21 09:24:32 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id JAA06755 for categories-list; Fri, 21 Apr 2000 09:23:29 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Microsoft Outlook Express for Macintosh - 4.01 (295) X-Priority: 3 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 26 Xref: news.gmane.org gmane.science.mathematics.categories:1493 Archived-At: ---------- >Da: matthieu amiguet >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