Confluence of graph rewriting with interfaces
Confluence of graph rewriting with interfaces
For terminating double-pushout (DPO) graph rewriting systems confluence 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 terminating 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.
26th European Symposium on Programming, , Uppsala, Sweden.
22 - 29 Apr 2017.
27 pp
.
(In Press)
Record type:
Conference or Workshop Item
(Paper)
Abstract
For terminating double-pushout (DPO) graph rewriting systems confluence 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 terminating rewriting systems of string diagrams in symmetric monoidal categories.
Text
main
- Accepted Manuscript
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: http://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: 16 Mar 2024 05:05
Export record
Contributors
Author:
Filippo Bonchi
Author:
Fabio Gadducci
Author:
Aleks Kissinger
Author:
Pawel Sobocinski
Author:
Fabio Zanasi
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