Subject: categories: re: process algebras

From: Robin Cockett <[email-masked]>
Date: Fri, 21 Apr 2000 10:52:41 -0600 (MDT)

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