Certifying Synchrony for Free.

Sylvain Boulm, Grgoire Hamon

Browse the full LPAR paper archive.