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

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

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

Double-pushout rewriting is an established categorical approach to the r...

Task Graph Transformations for Latency Tolerance

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

PaSh: Light-touch Data-Parallel Shell Processing

This paper presents PaSh, a system for parallelizing POSIX shell scripts...