Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
|
|
sorted by
|
|
Specifying and Verifying Properties of Space8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers
hal-01402045v1
|
||
|
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers
hal-01774942v1
|