From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1507
Path: news.gmane.org!not-for-mail
From: Lindsay Errington <lindsay@kestrel.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: process algebras
Date: Thu, 11 May 2000 11:59:56 -0700
Organization: Kestrel Institute
Message-ID: <391B032C.A88C6BF0@kestrel.edu>
References: <200004171557.QAA06124@koi-pc.dcs.qmw.ac.uk> <38FEFCD1.A189A453@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 1241017885 31574 80.91.229.2 (29 Apr 2009 15:11:25 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:25 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Sat May 13 11:28:05 2000 -0300
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id LAA29502
	for categories-list; Sat, 13 May 2000 11:23:39 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Mailer: Mozilla 4.72 [en] (X11; U; Linux 2.2.14-5.0 i686)
X-Accept-Language: en
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 17
Xref: news.gmane.org gmane.science.mathematics.categories:1507
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1507>

> 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?

I have a CTCS99 paper ``On the semantics of message passing processes'' at
http://theory.doc.ic.ac.uk/~le which may be relevant. As the title
suggests, it looks at categorical semantics for a CSP-like language with
assignment. It is related to the work mentioned by Robin and Dusko. Also,
the conclusions of my thesis discusses representing process networks as
diagrams in a category of processes. This might be related to your comment
above.

Lindsay