Sassone, V. and Sobocinski, P.
Reactive Systems over Cospans
At 20th Symposium on Logic in Computer Science, LICS 2005..
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for semantic models with an underlying reduction se- mantics. The derivation procedure requires the presence of certain colimits (or, more usually and generally, bicolimits) which need to be constructed separately within each model. In this paper, we offer a general construction of such bicol- imits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and K ?onig’s rewrit- ing via borrowed contexts and opens the way to a unified treatment of several applications.
Conference or Workshop Item
|Venue - Dates:
||20th Symposium on Logic in Computer Science, LICS 2005., 2005-01-01
||graph rewriting, contextual equivalences, bisimulation congruences, observational equivalences, bicategories, grpos
||Web & Internet Science, Electronic & Software Systems
||11 Apr 2006
||17 Apr 2017 21:43
|Further Information:||Google Scholar|
Actions (login required)