The University of Southampton
University of Southampton Institutional Repository

Confluence of graph rewriting with interfaces

Confluence of graph rewriting with interfaces
Confluence of graph rewriting with interfaces
For terminating double-pushout (DPO) graph rewriting systems con- fluence is, in general, undecidable. We show that confluence is decidable for an extension of DPO rewriting to graphs with interfaces. This variant is important due to it being closely related to rewriting of string diagrams. We show that our result extends, under mild conditions, to decidability of confluence for terminat- ing rewriting systems of string diagrams in symmetric monoidal categories.
Bonchi, Filippo
3c53e89d-d280-4911-9938-eb861553d04e
Gadducci, Fabio
58494b0f-53f3-4751-8a6c-1738b1c14c79
Kissinger, Aleks
b41eacd9-1a0e-44f1-ab52-7ad1741ae6b3
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Zanasi, Fabio
5bc03cd7-0fb6-4e14-bae8-8bf0d5d4be38
Bonchi, Filippo
3c53e89d-d280-4911-9938-eb861553d04e
Gadducci, Fabio
58494b0f-53f3-4751-8a6c-1738b1c14c79
Kissinger, Aleks
b41eacd9-1a0e-44f1-ab52-7ad1741ae6b3
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Zanasi, Fabio
5bc03cd7-0fb6-4e14-bae8-8bf0d5d4be38

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel and Zanasi, Fabio (2017) Confluence of graph rewriting with interfaces. At 26th European Symposium on Programming 26th European Symposium on Programming, Uppsala, Sweden. 22 - 29 Apr 2017. 27 pp.

Record type: Conference or Workshop Item (Paper)

Abstract

For terminating double-pushout (DPO) graph rewriting systems con- fluence is, in general, undecidable. We show that confluence is decidable for an extension of DPO rewriting to graphs with interfaces. This variant is important due to it being closely related to rewriting of string diagrams. We show that our result extends, under mild conditions, to decidability of confluence for terminat- ing rewriting systems of string diagrams in symmetric monoidal categories.

PDF main - Accepted Manuscript
Download (1MB)

More information

Accepted/In Press date: 23 February 2017
Venue - Dates: 26th European Symposium on Programming, Uppsala, Sweden, 2017-04-22 - 2017-04-29
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 406231
URI: https://eprints.soton.ac.uk/id/eprint/406231
PURE UUID: d9bacea5-78d5-4b8a-b30a-7d938863f80b

Catalogue record

Date deposited: 10 Mar 2017 10:43
Last modified: 18 Jul 2017 04:05

Export record

Contributors

Author: Filippo Bonchi
Author: Fabio Gadducci
Author: Aleks Kissinger
Author: Pawel Sobocinski
Author: Fabio Zanasi

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 https://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.

×