The University of Southampton
University of Southampton Institutional Repository

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.

Record type: Conference or Workshop Item (Paper)

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.

PDF newgraphsLICSoff.pdf - Other
Download (536kB)

More information

Published date: 2005
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

Identifiers

Local EPrints ID: 262303
URI: http://eprints.soton.ac.uk/id/eprint/262303
ISBN: 0-7695-2266-1
PURE UUID: 3b3edc3b-68d7-46f2-b4bb-3dc734984d3d

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52

Export record

Contributors

Author: V. Sassone
Author: P. Sobocinski

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×