Download:
|
by J. R. B. Cockett, David A. Spooner
Theoretical Computer Science
ftp://ftp.cpsc.ucalgary.ca/pub/users/spoonerd/cpc.ps.gz
Add To MetaCart
Abstract:
A method of constructing process categories as generalized relations on a category of process models is presented. The construction may be viewed as a 2-functor, allowing structural properties of the process categories to be derived from the underlying structure of the model categories. In particular, this allows one to infer the presence of linear structure in a process category. The construction yields Abramsky's category SProc when applied to any of the standard models of interleaved concurrency. SProc is also obtained as a process
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2677
|
Communicating Sequential Processes
– Hoare
- 1978
|
|
518
|
Categories for the Working Mathematician
– Lane
- 1971
|
|
232
|
Models for concurrency
– Winskel, Nielsen
- 1994
|
|
163
|
Non-well-founded sets
– Aczel
- 1988
|
|
79
|
Lambda -Autonomous categories and linear logic
– Barr
- 1991
|
|
76
|
Weakly distributive categories
– Cockett, Seely
- 1997
|
|
74
|
Review of the elements of 2-categories
– Kelly, Street
- 1974
|
|
70
|
Interaction categories and the foundations of typed concurrent programming
– Abramsky, Gay, et al.
- 1995
|
|
57
|
Introduction to bicategories
– Bénabou
- 1967
|
|
48
|
Handbook of Categorical Algebra 1: Basic Category Theory, volume 53 of Encyclopedia of Mathematics and its Applications
– Borceux
- 1994
|
|
39
|
Elementary observations on 2-categorical limits
– Kelly
- 1989
|
|
36
|
Autonomous Categories, volume 752
– Barr
- 1979
|
|
34
|
Bisimulation and open maps
– Joyal, Nielsen, et al.
- 1993
|
|
33
|
Refinement of state-based concurrent systems
– Woodcock, Morgan
- 1990
|
|
12
|
Toposes, Triples and Theories, volume 278 of Grundlehren der mathematischen Wissenschaften
– Barr, Wells
- 1985
|
|
8
|
SProc Categorically
– Cockett, Spooner
- 1994
|
|
8
|
Algebraic set theory, volume 220
– Joyal, Moerdijk
- 1995
|
|
7
|
Simply connected limits
– Par'e
- 1990
|
|
6
|
Categories for synchrony and asynchrony
– Cockett, Spooner
- 1995
|
|
3
|
List-arithmetic open categories: Locoi
– Cockett
- 1990
|
|
2
|
A remark on Mackey-functors
– Lindner
- 1976
|
|
1
|
Sproc categorically. CONCUR'94
– Cockett, Spooner
- 1994
|
|
1
|
Convenient categories of processes and simulations 1: modulo strong bisimilarity. Available by ftp from beauty.doc.ic.ac.uk as papers/Pavlovic/CCPS1.ps.gz
– Pavlovi'c
- 1995
|
|
1
|
Sketches: Outline with references. Available by ftp from ftp.cwru.edu as math/wells/sketch.ps
– Wells
- 1994
|
