Video for "Hacking Nondeterminism with Induction and Coinduction"

Videojournalism about a new method for comparing the processes called "finite-state machines" that underlie much of computer science.

Screenshot of the Vimeo version of the video: See description for the full video