3 search results - page 1 / 1 » Deriving Bisimulation Congruences: A 2-categorical Approach |
ENTCS
2002
13 years 4 months ago
2002
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 p...
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...