Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki. Modeling and Reasoning with Multirelations, and their encoding in Alloy. In Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera, editors, Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. Volume 1756 of CEUR Workshop Proceedings, pages 73-88, CEUR-WS.org, 2016. [doi]
Abstract is missing.