Parallelism in AGREE Transformations
From MaRDI portal
Publication:3187802
DOI10.1007/978-3-319-40530-8_3zbMath1344.68106OpenAlexW2494099535MaRDI QIDQ3187802
Leila Ribeiro, Andrea Corradini, Dominique Duval, Frédéric Prost
Publication date: 5 September 2016
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11568/902981
Related Items (2)
Algebraic graph rewriting with controlled embedding ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parallel and distributed derivations in the single-pushout approach
- Restriction categories II: Partial map classification
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Reversible Sesqui-Pushout Rewriting
- Parallel and Sequential Independence for Borrowed Contexts
- Sesqui-Pushout Rewriting
- Foundations of Software Science and Computation Structures
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions
This page was built for publication: Parallelism in AGREE Transformations
