Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye. Towards a Formal Semantics of the TESL Specification Language. In Benoît Combemale, Julien DeAntoni, Jeff Gray, Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly, Gergely Mezei, Pieter Van Gorp, editors, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015. Volume 1511 of CEUR Workshop Proceedings, pages 14-19, CEUR-WS.org, 2015. [doi]
Abstract is missing.