Since 2014
Open Maps (at) Work
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Open Maps (at) Work
|
|
| Creator |
Cheng, Allan
Nielsen, Mogens |
|
| Description |
The notion of bisimilarity, as defined by Park and Milner,has turned out to be one of the most fundamental notions of operationalequivalences in the field of process algebras. Not only does it inducea congruence (largest bisimulation) in CCS which has nice equationalproperties, it has also proven itself applicable for numerous models ofparallel computation and settings such as Petri Nets and semantics offunctional languages. In an attempt to understand the relationships anddifferences between the extensive amount of research within the field,Joyal, Nielsen, and Winskel recently presented an abstract category-theoretic definition of bisimulation. They identify spans of morphisms satisfying certain "path lifting" properties, so-called open maps, as a possible abstract definition of bisimilarity. In [JNW93] they show, that they can capture Park and Milner's bisimulation. The aim of this paper is to show that the abstract definition of bisimilarity is applicable"in practice" by showing how a representative selection of well-knownbisimulations and equivalences, such as e.g. Hennessy's testing equivalence,Milner and Sangiorgi's barbed bisimulation, and Larsen and Skou'sprobabilistic bisimulation, are captured in the setting of open maps andhence, that the proposed notion of open maps seems successful. Hence,we confirm that the treatment of strong bisimulation in [JNW93] is nota one-off application of open maps.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1995-01-23
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19925
10.7146/brics.v2i23.19925 |
|
| Source |
BRICS Report Series; No 23 (1995): RS-23 Open Maps (at) Work
BRICS Report Series; No 23 (1995): RS-23 Open Maps (at) Work 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19925/17579
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|