TY  - RPRT
TI  - Tasks in Modular Proofs of Concurrent Algorithms
AU  - Armando Castañeda
AU  - Aurélie Hurault
AU  - Philippe Quéinnec
AU  - Matthieu Roy
PY  - 2019
DO  - 10.1007/978-3-030-34992-9_6
UR  - https://arxiv.org/abs/1909.05537
ID  - 1909.05537
ER  -