Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-2533
Full metadata record
DC FieldValueLanguage
dc.contributor.authorEhrig, Hartmutde
dc.contributor.authorKönig, Barbarade
dc.date.accessioned2004-05-10de
dc.date.accessioned2016-03-31T07:58:27Z-
dc.date.available2004-05-10de
dc.date.available2016-03-31T07:58:27Z-
dc.date.issued2004de
dc.identifier.other111442540de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-18579de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/2550-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-2533-
dc.description.abstractMotivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout) approach to graph rewriting. Unlike in previous approaches, we consider graphs as objects, instead of arrows, of the category under consideration. This allows us to present a very simple way of deriving labelled transitions (called rewriting steps with borrowed context) which smoothly integrates with the DPO approach, has a very constructive natureand requires only a minimum of category theory. The core part of this paper is the proof sketch that the bisimilarity based on rewriting with borrowed contexts is a congruence relation.en
dc.language.isoende
dc.relation.ispartofseriesTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2004,1de
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationBisimulation , Transitionssystem , Graphersetzungssystemde
dc.subject.ddc004de
dc.subject.othergraph rewriting , graph transformation , bisimulation , transition systemsen
dc.titleDeriving bisimulation congruences in the DPO approach to graph rewriting. Long versionen
dc.typeworkingPaperde
dc.date.updated2013-07-05de
ubs.fakultaetFakultät Informatik, Elektrotechnik und Informationstechnikde
ubs.institutInstitut für Formale Methoden der Informatikde
ubs.opusid1857de
ubs.publikation.typArbeitspapierde
ubs.schriftenreihe.nameTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnikde
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
TR-2004-01.pdf1,06 MBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.