Locating Reactions using 2-Categories

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


[img] PDF
Download (455Kb)


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
Accepted Date and Publication Date:
Date Deposited: 27 Jan 2006
Last Modified: 31 Mar 2016 14:04
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261842

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics