Matthieu Roy
2
Documents
Publications
- 2
- 2
- 2
- 1
- 1
|
Tasks in modular proofs of concurrent algorithmsInformation and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Article dans une revue
hal-04086420v1
|
|
Tasks in Modular Proofs of Concurrent Algorithms21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Communication dans un congrès
hal-02903005v1
|