Operational Determinism and Fast Algorithms.

Henri Hansen, Antti Valmari

Browse the full CONCUR paper archive.