Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.

A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin

Browse the full FOSSACS paper archive.