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]
Abstract is missing.