Processes for adhesive rewriting systems
Processes for adhesive rewriting systems
Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, including various modelling frameworks for concurrent and distributed systems. Here we begin the development of a truly concurrent semantics for adhesive rewriting systems by defining the fundamental notion of process, well-known from Petri nets and graph grammars. The main result of the paper shows that processes capture the notion of true concurrency---there is a one-to-one correspondence between concurrent derivations, where the sequential order of independent steps is immaterial, and (isomorphism classes of) processes. We see this contribution as a step towards a general theory of true concurrency which specialises to the various concrete constructions found in the literature.
adhesive categories, processes
3-540-33045-3
202-216
Baldan, P
c3339e50-ea24-4abb-9c10-1f2fd6432fd3
Corradini, A
e4e5214b-2b65-4c2d-b69c-5a0db77ee602
Heindel, T
02a19993-8bd4-4e6f-89ef-27b9a5fd2c8d
König, B
806924c7-9014-45da-94a0-5ba5b5e3d1b2
Sobocinski, P
439334ab-2826-447b-9fe5-3928be3fd4fd
Aceto, L
7b340dc7-4d77-4a50-9612-2e5b2b248305
Ingólfsdóttir, A
a9c0e760-0ca1-43ba-826d-0e930ca7d4ea
2006
Baldan, P
c3339e50-ea24-4abb-9c10-1f2fd6432fd3
Corradini, A
e4e5214b-2b65-4c2d-b69c-5a0db77ee602
Heindel, T
02a19993-8bd4-4e6f-89ef-27b9a5fd2c8d
König, B
806924c7-9014-45da-94a0-5ba5b5e3d1b2
Sobocinski, P
439334ab-2826-447b-9fe5-3928be3fd4fd
Aceto, L
7b340dc7-4d77-4a50-9612-2e5b2b248305
Ingólfsdóttir, A
a9c0e760-0ca1-43ba-826d-0e930ca7d4ea
Baldan, P, Corradini, A, Heindel, T, König, B and Sobocinski, P
(2006)
Processes for adhesive rewriting systems.
Aceto, L and Ingólfsdóttir, A
(eds.)
Foundations of Software Science and Computation Structures, Vienna, Austria.
25 - 30 Mar 2006.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, including various modelling frameworks for concurrent and distributed systems. Here we begin the development of a truly concurrent semantics for adhesive rewriting systems by defining the fundamental notion of process, well-known from Petri nets and graph grammars. The main result of the paper shows that processes capture the notion of true concurrency---there is a one-to-one correspondence between concurrent derivations, where the sequential order of independent steps is immaterial, and (isomorphism classes of) processes. We see this contribution as a step towards a general theory of true concurrency which specialises to the various concrete constructions found in the literature.
This record has no associated files available for download.
More information
Published date: 2006
Additional Information:
Event Dates: March 25-31, 2006
Venue - Dates:
Foundations of Software Science and Computation Structures, Vienna, Austria, 2006-03-25 - 2006-03-30
Keywords:
adhesive categories, processes
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263475
URI: http://eprints.soton.ac.uk/id/eprint/263475
ISBN: 3-540-33045-3
PURE UUID: ec5af70d-4e68-4f8f-990f-8a9060d0ae83
Catalogue record
Date deposited: 19 Feb 2007
Last modified: 07 Jan 2022 23:59
Export record
Contributors
Author:
P Baldan
Author:
A Corradini
Author:
T Heindel
Author:
B König
Author:
P Sobocinski
Editor:
L Aceto
Editor:
A Ingólfsdóttir
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