Zinovy Diskin. Compositionality of Update Propagation: Lax PutPut. In Romina Eramo, Michael Johnson, editors, Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. Volume 1827 of CEUR Workshop Proceedings, pages 74-89, CEUR-WS.org, 2017.
Abstract is missing.