Processes for Adhesive Rewriting Systems

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-toone 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.

• Type: Conference
• Year: 2006
• Where: FOSSACS
• Authors: Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
• Keywords: Adhesive Rewriting Systems, FOSSACS 2006, Rewriting Systems, Rewriting-based Computational Formalisms, Software Engineering