Deriving Bisimulation Congruences: A 2-categorical Approach (2002)
Cached
Download Links
- [www.cogs.susx.ac.uk]
- [www.informatics.sussex.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In FOSSACS ’03, volume 2620 of LNCS |
| Citations: | 13 - 1 self |
BibTeX
@INPROCEEDINGS{Sassone02derivingbisimulation,
author = {Vladimiro Sassone and Pawe L Sobocinski},
title = {Deriving Bisimulation Congruences: A 2-categorical Approach},
booktitle = {In FOSSACS ’03, volume 2620 of LNCS},
year = {2002},
pages = {409--424},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for process calculi where terms are viewed modulo structural congruence. We develop their basic properties and show that bisimulation on the LTS derived via GRPOs is a congruence, provided that suciently many GRPOs exist. The theory is applied to a simple subset of CCS and the resulting LTS is compared to one derived using a procedure proposed by Sewell.
Citations
| 426 | The chemical abstract machine - Berry, Boudol - 1990 |
| 123 | On reduction-based process semantics - Honda, Tokoro - 1995 |
| 88 | Algebraic approaches to graph transformation - part I: Single pushout approach and comparison with double pushout approach - Corradini, Ehrig, et al. - 1997 |
| 39 | Elementary Observations on 2-Categorical Limits - Kelly - 1989 |
| 28 | R.: An inductive view of graph transformation - Gadducci, Heckel - 1997 |
| 3 | Review of the elements of 2-categories. Lecture - Kelly, Street - 1974 |
