Alphabet-Based Synchronisation is Exponentially Cheaper.

Antti Valmari, Antti Kervinen

Browse the full CONCUR paper archive.