Modeling and Verifying Leader Election Algorithm in CSP (S).

Yucheng Fang, Huibiao Zhu, Huiwen Wang

Browse the full SEKE paper archive.