Personal tools
You are here: Home Events Abstract Archives 2003 Deriving bisimulation congruences: A 2 categorical approach

Deriving bisimulation congruences: A 2 categorical approach

Vladimiro Sassone School of Cognitive and Computing Sciences University of Sussex 4pm Tuesday 18 February 2003 Room 2511, JCMB, King's Buildings

We introduce G-relative-pushouts GRPO as a 2-categorical generalisation of Leifer and Milner's relative-pushouts. GRPOs can be used to derive labelled transition systems from reduction systems where terms are viewed modulo a structural congruence. We explore their basic properties and illustrate them on some basic examples.

Document Actions