David Turner, April 7, 2011

OTP Internals (beta version)

Locally correct choices are not always globally correct

So we need to keep track of multiple states (and incoming edges) for a given vertex