Locating Reactions using 2-Categories


Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Download

[img] PDF
Download (455Kb)

Description/Abstract

Groupoidal relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner's approach to deriving labelled bisimulation congruences from reduction systems. In this paper, we develop the theory of GRPOs further, proving that well-known equivalences, other than bisimulation, are congruences. To demonstrate the type of category theoretic arguments which are inherent in the 2-categorical approach, we construct GRPOs in a category of `bunches and wirings.' Finally, we prove that the 2-categorical theory of GRPOs is a generalisation of the approaches based on Milner's precategories and Leifer's functorial reactive systems.

Item Type: Article
Keywords: bisimulation congruences, reduction systems, transition systems, coinduction principles, bigraphs, bunches, 2-categories, bicategories
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 261842
Date Deposited: 27 Jan 2006
Last Modified: 27 Mar 2014 20:04
Publisher: Elsevier
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261842

Actions (login required)

View Item View Item