From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1495 Path: news.gmane.org!not-for-mail From: dusko@dusko.org Newsgroups: gmane.science.mathematics.categories Subject: Re: process algebras Date: 21 Apr 2000 12:19:50 -0700 Message-ID: <20000421191950.25329.cpmta@c017.sfo.cp.net> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1241017876 31512 80.91.229.2 (29 Apr 2009 15:11:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:16 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Apr 21 17:04:12 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id QAA28672 for categories-list; Fri, 21 Apr 2000 16:59:40 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sent: 21 Apr 2000 19:19:50 GMT Content-Disposition: inline X-Mailer: Web Mail 3.6.0.2 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 19 Xref: news.gmane.org gmane.science.mathematics.categories:1495 Archived-At: > 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? around 1995, i had two papers about "convenient categories for process calculus" and one about "categorical logic of concurrency and interaction". the simplest way to get them is probably on hypatia, or from my web page http://www.kestrel.edu/HTML/people/pavlovic/ i am not sure to which extent is this what you are looking for, but it is surely related. later samson abramsky and i figured how to deal with process categories much better, but most of it was never written up. an initial account was in our CTCS 97 paper (also available, i think, at the same sites.) -- dusko pavlovic