The University of Southampton
University of Southampton Institutional Repository

Processes for adhesive rewriting systems

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
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.) At Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures, Austria. 25 - 31 Mar 2006. pp. 202-216.

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.

Full text not available from this repository.

More information

Published date: 2006
Additional Information: Event Dates: March 25-31, 2006
Venue - Dates: Foundations of Software Science and Computation Structures, Austria, 2006-03-25 - 2006-03-31
Keywords: adhesive categories, processes
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 263475
URI: https://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: 18 Jul 2017 07:45

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

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.

×