Filter your results
- 5
- 5
- 5
- 1
- 2
- 1
- 1
- 5
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
On Bidirectional Runtime Enforcement41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers
hal-03740261v1
|
||
|
On Implementing Symbolic Controllability22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.350-369, ⟨10.1007/978-3-030-50029-0_22⟩
Conference papers
hal-03273999v1
|
||
|
Reversible Choreographies via Monitoring in Erlang18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers
hal-01824635v1
|
||
|
Full-Abstraction for Must Testing Preorders19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
Conference papers
hal-01657337v1
|
||
|
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.227-235, ⟨10.1007/978-3-030-50086-3_13⟩
Conference papers
hal-03283237v1
|