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)

Leave a Reply

Your email address will not be published.

Time limit is exhausted. Please reload CAPTCHA.