From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1494 Path: news.gmane.org!not-for-mail From: Robin Cockett Newsgroups: gmane.science.mathematics.categories Subject: re: process algebras Date: Fri, 21 Apr 2000 10:52:41 -0600 (MDT) Message-ID: <200004211652.KAA29229@mailhost> Reply-To: robin@cpsc.ucalgary.ca NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/plain; CHARSET=US-ASCII X-Trace: ger.gmane.org 1241017875 31508 80.91.229.2 (29 Apr 2009 15:11:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:15 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Apr 21 17:04:09 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id QAA28904 for categories-list; Fri, 21 Apr 2000 16:58:21 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 19 Xref: news.gmane.org gmane.science.mathematics.categories:1494 Archived-At: Another few papers which may be of interest are: "Constructing process categories" J.R,B. Cockett (me!) & D.A. Spooner TCS 177 (1997) 73-109 "Categories for syncrony and asynchrony" J.R,B. Cockett & D.A. Spooner Electronic Notes in Theoretical Computer Science I (1995) 495-520 These papers explore the "combinatorial" representation of processes using span categories. In particular they give an account of Abramsky's program to model processes (based on a CCS style presentation) using span categories. -robin