Accéder directement au contenu

Matthieu Roy

2
Documents

Publications

philippe-queinnec
Image document

Tasks in modular proofs of concurrent algorithms

 Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
Information 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
Image document

Tasks in Modular Proofs of Concurrent Algorithms

 Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
21st 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