Filter your results
- 5
- 5
- 5
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Team Automata@Work: On Safe Communication22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers
hal-03273992v1
|
||
|
On Synchronous and Asynchronous Compatibility of Communicating Components18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.138-156, ⟨10.1007/978-3-319-39519-7_9⟩
Conference papers
hal-01631726v1
|
||
|
Communication Requirements for Team Automata19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers
hal-01657348v1
|
||
|
Observational Semantics for Dynamic Logic with Binders23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers
hal-01767472v1
|
||
|
Role-Based Development of Dynamically Evolving Esembles24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers
hal-02364578v1
|