Sassone, V. and Sobocinski, P.
Deriving Bisimulation Congruences: A 2-Categorical Approach
At 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 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 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 sufficiently 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.
Conference or Workshop Item
|Venue - Dates:
||9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002., 2002-01-01
||bisimulation congruences, observational equivalences, labelled transition systems, 2-categories, relative pushouts
||Web & Internet Science, Electronic & Software Systems
||11 Apr 2006
||17 Apr 2017 21:43
|Further Information:||Google Scholar|
Actions (login required)