Filter your results
- 2
- 2
- 2
- 2
- 1
- 3
- 4
- 6
- 7
- 6
- 5
- 8
- 3
- 6
- 9
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Towards Energy-, Time- and Security-Aware Multi-core Coordination22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.57-74, ⟨10.1007/978-3-030-50029-0_4⟩
Conference papers
hal-03273984v1
|
||
|
|
Duality for Instantial Neighbourhood Logic via Coalgebra15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.32-54, ⟨10.1007/978-3-030-57201-3_3⟩
Conference papers
hal-03232350v1
|