Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers
hal-01290066v1
|
||
|
|
Development Tools for Rule-Based Coordination Programming in LINC19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers
cea-01531019v1
|
||
|
|
Component-Based Autonomic Managers for Coordination Control15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.75-89, ⟨10.1007/978-3-642-38493-6_6⟩
Conference papers
hal-00949562v1
|