From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1490 Path: news.gmane.org!not-for-mail From: matthieu amiguet Newsgroups: gmane.science.mathematics.categories Subject: process algebras Date: Thu, 20 Apr 2000 14:49:22 +0200 Message-ID: <38FEFCD1.A189A453@info.unine.ch> References: <200004171557.QAA06124@koi-pc.dcs.qmw.ac.uk> Reply-To: matthieu.amiguet@info.unine.ch 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 1241017873 31497 80.91.229.2 (29 Apr 2009 15:11:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:13 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Apr 20 14:57:23 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id OAA05708 for categories-list; Thu, 20 Apr 2000 14:53:42 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.5 [fr] (Macintosh; I; PPC) X-Accept-Language: fr Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 11 Xref: news.gmane.org gmane.science.mathematics.categories:1490 Archived-At: 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