Julio Cano, Gwenaël Delaval, Éric Rutten. Coordination of ECA Rules by Verification and Control. In eva Kühn, Rosario Pugliese, editors, Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Volume 8459 of Lecture Notes in Computer Science, pages 33-48, Springer, 2014. [doi]
@inproceedings{CanoDR14, title = {Coordination of ECA Rules by Verification and Control}, author = {Julio Cano and Gwenaël Delaval and Éric Rutten}, year = {2014}, doi = {10.1007/978-3-662-43376-8_3}, url = {http://dx.doi.org/10.1007/978-3-662-43376-8_3}, researchr = {https://researchr.org/publication/CanoDR14}, cites = {0}, citedby = {0}, pages = {33-48}, booktitle = {Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings}, editor = {eva Kühn and Rosario Pugliese}, volume = {8459}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-662-43375-1}, }