Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
|
|
|
sorted by
|
|
|
Choreographic Development of Message-Passing Applications22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩
Conference papers
hal-03273982v1
|
||
|
|
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.237-249, ⟨10.1007/978-3-030-22397-7_14⟩
Conference papers
hal-02365496v1
|