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]
@inproceedings{KosiolFNST18,
title = {Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories},
author = {Jens Kosiol and Lars Fritsche and Nebras Nassar and Andy Schürr and Gabriele Taentzer},
year = {2018},
doi = {10.1007/978-3-030-23220-7_8},
url = {https://doi.org/10.1007/978-3-030-23220-7_8},
researchr = {https://researchr.org/publication/KosiolFNST18},
cites = {0},
citedby = {0},
pages = {139-153},
booktitle = {Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers},
editor = {José Luiz Fiadeiro and Ionut Tutu},
volume = {11563},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-23220-7},
}