Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +.

Aurlie Hurault, Philippe Quinnec

Browse the full TAP paper archive.