Locating Reactions using 2-Categories

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


[img] PDF bunTCSOff.pdf - Other
Download (466kB)


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
ISSNs: 0304-3975 (print)
Keywords: bisimulation congruences, reduction systems, transition systems, coinduction principles, bigraphs, bunches, 2-categories, bicategories
Organisations: Web & Internet Science, Electronic & Software Systems
ePrint ID: 261842
Date :
Date Event
Date Deposited: 27 Jan 2006
Last Modified: 17 Apr 2017 21:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261842

Actions (login required)

View Item View Item