Operational Determinism and Fast Algorithms

@inproceedings{Hansen2006OperationalDA,
  title={Operational Determinism and Fast Algorithms},
  author={Henri Hansen and Antti Valmari},
  booktitle={CONCUR},
  year={2006}
}