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.