Parameterized Model Checking of Rendezvous Systems.

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith

Browse the full CONCUR paper archive.