Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in Modular Proofs of Concurrent Algorithms. In Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi, editors, Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Volume 11914 of Lecture Notes in Computer Science, pages 69-83, Springer, 2019. [doi]
@inproceedings{CastanedaHQR19,
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://doi.org/10.1007/978-3-030-34992-9_6},
researchr = {https://researchr.org/publication/CastanedaHQR19},
cites = {0},
citedby = {0},
pages = {69-83},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings},
editor = {Mohsen Ghaffari and Mikhail Nesterenko and Sébastien Tixeuil and Sara Tucci and Yukiko Yamauchi},
volume = {11914},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-34992-9},
}