Model Checking of Distributed Algorithms Using Synchronous Programs.

Erwan Jahier, Karine Altisen, Stphane Devismes, Gabriel B. Sant'Anna

Browse the full SSS paper archive.