new paper at Coordination 14

[CDR14] Julio Cano, Gwenaël Delaval, Eric Rutten.
Safe coordination of ECA rules by verification and control.
In 16th International Conference on Coordination Models and Languages, COORDINATION,
June 3-6, 2014, Berlin, Germany.
(A-rank conference)

Ctrl-A in 4 slides

available here