Reactive Systems over Cospans


Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans At 20th Symposium on Logic in Computer Science, LICS 2005.. , pp. 311-320.

Download

[img] PDF newgraphsLICSoff.pdf - Other
Download (536kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 20th Symposium on Logic in Computer Science, LICS 2005., 2005-01-01
Keywords: graph rewriting, contextual equivalences, bisimulation congruences, observational equivalences, bicategories, grpos
Organisations: Web & Internet Science, Electronic & Software Systems
ePrint ID: 262303
Date :
Date Event
2005Published
Date Deposited: 11 Apr 2006
Last Modified: 17 Apr 2017 21:43
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262303

Actions (login required)

View Item View Item