Modeling Consensus in a Process Calculus.

Uwe Nestmann, Rachele Fuzzati, Massimo Merro

Browse the full CONCUR paper archive.