Filter your results
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Distributed Coordination Infrastructure for Attribute-Based Interaction38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers
hal-01824810v1
|
||
|
A Formal Approach to the Engineering of Domain-Specific Distributed Systems20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers
hal-01821499v1
|