Results 1 
2 of
2
SProc Categorically
 in: Proceedings CONCUR'94 (SpringerVerlag
, 1994
"... . We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes [Abr93]: SProc is isomorphic to a span category on a category of traces. The significance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unneces ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
(Show Context)
. We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes [Abr93]: SProc is isomorphic to a span category on a category of traces. The significance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unnecessary  a simple categorical description exists. Furthermore, the techniques employed in the reconstruction suggest a general method of obtaining process categories with structure similar to SProc. In particular, the method of obtaining bisimulation equivalence in our setting, which represents an extension of the work of Joyal, Nielsen and Winskel [JNW93], has natural application in many settings. 1 Introduction In [Abr93], Abramsky proposed a new paradigm for the semantics of computation, interaction categories, where the following substitutions are made: Denotational semantics Categories Interaction categories Domains objects Interface specifications Continuous functions maps Commun...
Categories for Synchrony and Asynchrony
, 1995
"... The purpose of this paper is to show how one may construct from a synchronous interaction category, such as SProc, a corresponding asynchronous version. Significantly, it is not a simple Kleisli construction, but rather arises due to particular properties of a monad combined with the existence of a ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The purpose of this paper is to show how one may construct from a synchronous interaction category, such as SProc, a corresponding asynchronous version. Significantly, it is not a simple Kleisli construction, but rather arises due to particular properties of a monad combined with the existence of a certain type of distributive law. Following earlier work we consider those synchronous interaction categories which arise from model categories through a quotiented span construction: SProc arises in this way from labelled transition systems. The quotienting is determined by a cover system which expresses bisimulation. Asynchrony is introduced into a model category by a monad which, in the case of transition systems, adds the ability to idle. To form a process category atop this two further ingredients are required: pullbacks in the Kleisli category, and a cover system to express (weak) bisimulation. The technical results of the paper provide necessary and sufficient conditions for a Kleisli...