Javier Troya, Antonio Vallecillo. Towards a Rewriting Logic Semantics for ATL. In Laurence Tratt, Martin Gogolla, editors, Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Volume 6142 of Lecture Notes in Computer Science, pages 230-244, Springer, 2010. [doi]
@inproceedings{TroyaV10, title = {Towards a Rewriting Logic Semantics for ATL}, author = {Javier Troya and Antonio Vallecillo}, year = {2010}, doi = {10.1007/978-3-642-13688-7_16}, url = {http://dx.doi.org/10.1007/978-3-642-13688-7_16}, tags = {semantics, ATL, graph-rewriting, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/TroyaV10}, cites = {0}, citedby = {0}, pages = {230-244}, booktitle = {Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings}, editor = {Laurence Tratt and Martin Gogolla}, volume = {6142}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13687-0}, }