Sassone, V. and Sobocinski, P.
Reactive Systems over Cospans.
In, 20th Symposium on Logic in Computer Science, LICS 2005.
IEEE Computer Society Press, .
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.
Actions (login required)