Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

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]

Authors

Jens Kosiol

This author has not been identified. Look up 'Jens Kosiol' in Google

Lars Fritsche

This author has not been identified. Look up 'Lars Fritsche' in Google

Nebras Nassar

This author has not been identified. Look up 'Nebras Nassar' in Google

Andy Schürr

This author has not been identified. It may be one of the following persons: Look up 'Andy Schürr' in Google

Gabriele Taentzer

This author has not been identified. It may be one of the following persons: Look up 'Gabriele Taentzer' in Google