Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

by   Thierry Boy de la Tour, et al.

An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent direct derivations in the Weak Double-Pushout framework, see [2]. The parallel derivations are expressed by means of Parallel Coherent Transformations (PCTs), hence without assuming the existence of coproducts compatible with M as in the standard Parallelism Theorem. It is aslo shown that a derived rule can be extracted from any PCT, in the sense that to any direct derivation of this rule corresponds a valid PCT.


page 1

page 2

page 3

page 4


True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

We address the problem of defining graph transformations by the simultan...

P = FS: Parallel is Just Fast Serial

We prove that parallel processing with homogeneous processors is logical...

A Direct-Style Effect Notation for Sequential and Parallel Programs

Modeling sequential and parallel composition of effectful computations h...

Parallel Flowshop in YewPar

Parallelism may reduce the time to find exact solutions for many Operati...

An Order-aware Dataflow Model for Extracting Shell Script Parallelism

We present a dataflow model for extracting data parallelism latent in Un...

Task Graph Transformations for Latency Tolerance

The Integrative Model for Parallelism (IMP) derives a task graph from a ...

Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms

We develop a behavioural theory of reflective sequential algorithms (RSA...

Please sign up or login with your details

Forgot password? Click here to reset