Abstract | ||
---|---|---|
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were missing for dporewriting extended with borrowed contexts (dpobc), a formalism used for equipping dpoderivations with labels and introduced for modeling open systems that interact with the environment.In this work we propose the definition of parallel and sequential independence for dpobcrewriting, and we prove that these novel notions allow generalizing the Church-Rosser and parallelism theorems holding for dporewriting. Most importantly, we show that the dpobcversion of these theorems still guarantees the local confluence and the parallel execution of pairs of independent dpobcderivations. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-87405-8_16 | ICGT |
Keywords | Field | DocType |
sequential independence,borrowed context,novel notion,parallel execution,open system,central concept,concurrency theory,local confluence,double pushout,independent dpobcderivations,graph rewriting | Discrete mathematics,Computer science,Generalization,Concurrency,Pushout,Rewriting,Graph rewriting,Confluence,Formalism (philosophy),Open system (systems theory) | Conference |
Volume | ISSN | Citations |
5214 | 0302-9743 | 1 |
PageRank | References | Authors |
0.38 | 16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Filippo Bonchi | 1 | 579 | 47.04 |
Fabio Gadducci | 2 | 772 | 62.94 |
Tobias Heindel | 3 | 156 | 12.93 |