Coordination of ECA Rules by Verification and Control

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},
}