Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer. Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories. In José Luiz Fiadeiro, Ionut Tutu, editors, Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Volume 11563 of Lecture Notes in Computer Science, pages 139-153, Springer, 2018. [doi]
Abstract is missing.