Sassone, V. and Sobocinski, P.
Deriving Bisimulation Congruences: 2-categories vs precategories
At Foundations of Software Science and Computation Structures, FOSSACS 2003..
G-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. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs.
Conference or Workshop Item
|Venue - Dates:
||Foundations of Software Science and Computation Structures, FOSSACS 2003., 2003-01-01
||bisimulation congruences, labelled transition systems, observational equivalences, coinduction principles
||Web & Internet Science, Electronic & Software Systems
||11 Apr 2006
||17 Apr 2017 21:44
|Further Information:||Google Scholar|
Actions (login required)