Deciding the existence of cut-off in parameterized rendez-vous networks

Florian Horn, Arnaud Sangnier

We study networks of processes which all execute the same finite-state protocol and communicate thanks to a rendez-vous mechanism. Given a protocol, we are interested in checking w…