Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols.

Kaya Alpturer, Gerald Huang, Ron van der Meyden

Browse the full PODC paper archive.