Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

07/08/2019
by   Thierry Boy de la Tour, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/17/2019

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

We address the problem of defining graph transformations by the simultan...
10/02/2020

P = FS: Parallel is Just Fast Serial

We prove that parallel processing with homogeneous processors is logical...
07/14/2022

Parallel Flowshop in YewPar

Parallelism may reduce the time to find exact solutions for many Operati...
12/31/2020

An Order-aware Dataflow Model for Extracting Shell Script Parallelism

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

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

Double-pushout rewriting is an established categorical approach to the r...
11/13/2018

Task Graph Transformations for Latency Tolerance

The Integrative Model for Parallelism (IMP) derives a task graph from a ...
07/18/2020

PaSh: Light-touch Data-Parallel Shell Processing

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