Filter your results
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Coordination Models and LanguagesSimon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Books
hal-03168525v1
|
||
|
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
|
||
|
|
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.197-216, ⟨10.1007/978-3-319-59746-1_11⟩
Conference papers
hal-01657340v1
|