NPTEL Video Course : Principles of Programming Languages

Lecture 8 - Transition Systems