Proving the Herman-Protocol Conjecture.

Maria Bruna, Radu Grigore, Stefan Kiefer, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.