Checking Verifications of Protocols and Distributed Systems by Computer.

Jan Friso Groote, Franois Monin, Jaco van de Pol

Browse the full CONCUR paper archive.