Tasks in Modular Proofs of Concurrent Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Armando Castañeda' in GoogleThis author has not been identified. Look up 'Aurélie Hurault' in GoogleThis author has not been identified. Look up 'Philippe Quéinnec' in GoogleThis author has not been identified. Look up 'Matthieu Roy' in Google

runs on WebDSL