@misc{indiciae12b8e2455734,
  title = {Tasks in Modular Proofs of Concurrent Algorithms},
  author = {Armando Castañeda and Aurélie Hurault and Philippe Quéinnec and Matthieu Roy},
  year = {2019},
  doi = {10.1007/978-3-030-34992-9\_6},
  url = {https://arxiv.org/abs/1909.05537},
  note = {Source identifier: 1909.05537}
}