The University of Southampton
University of Southampton Institutional Repository

Reactive Systems over Cospans

Reactive Systems over Cospans
Reactive Systems over Cospans
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 semantics. 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 bicolimits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and Konig’s rewriting via borrowed contexts and opens the way to a unified treatment of several applications.
graph rewriting, contextual equivalences, bisimulation congruences, observational equivalences, bicategories, grpos
0-7695-2266-1
311-320
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. 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 semantics. 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 bicolimits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and Konig’s rewriting via borrowed contexts and opens the way to a unified treatment of several applications.

Text
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
ORCID for V. Sassone: ORCID iD orcid.org/0000-0002-6432-1482

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 10 Sep 2024 01:40

Export record

Contributors

Author: V. Sassone ORCID iD
Author: P. Sobocinski

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.

×