Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Browse the full CONCUR paper archive.