Tasks in Modular Proofs of Concurrent Algorithms.

Armando Castaeda, Aurlie Hurault, Philippe Quinnec, Matthieu Roy

Browse the full SSS paper archive.