J.R.B. Cockett and D.A. Spooner. Constructing process categories. 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Semantics of Message Passing Processes - Errington (1999) (2 citations) (Correct)
....internal and observable behaviour as described above is not new. It appears in Ferrari et al. 21,22] and has been advocated by Goguen [25,26] in his theory of systems. As here, Goguen defines the behaviour of a system to be the limit of a diagram. Another instance is due to Cockett and Spooner [14 16]. They construct categories in which morphisms are typed processes. Processes are spans in a category of conventional transition systems. As here, composition is by pullback. Whether a process is a span as in Cockett and Spooner or an object in a comma category as here is not important. They ....
J. R. B. Cockett and D. A. Spooner. Constructing process categories. 1995.
Refinement in Process Categories - Robin Cockett And Self-citation (Cockett) (Correct)
....for the process category SP roc. However, this result is very specific for the case of SP roc and the strong simulation. This paper tries to adapt the idea of 2 cells as a notion of refinement according to a certain equivalence of processes to the construction of process categories shown in [CS94a] and [CS94b] In this approach process categories are obtained by quotienting a bicategory of spans by a congruence which is given by spans of cover maps. Unfortunately, the 2 cell structure of the bicategory may not be preserved by this construction. However, it is possible to define 2 cell ....
....] g] h 0 : C 0 D 0 ] f 0 ; g) h 0 ] PSC1) f 0 ; g; h 0 ) f 0 ] g] h 0 ] f ] g] h] where f 0 jM f and h 0 jM h are given by the assumption. 3 Process Categories In this section we briefly review the notion of process categories given in [CS94a] and [CS94b] Let X be a category with pullbacks. A cover system X is a collection of maps of X which contains all isomorphisms, is closed under composition, and is stable, that is, closed to pulling back along arbitrary maps. Thus, if x 2 X and the following is a pullback then y 2 X : Delta ....
[Article contains additional citation context not shown here]
J.R.B. Cockett and D.A. Spooner. Constructing process categories. 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC