Behavioral Computation Theory: Tutorial Yuri Gurevich (Microsoft Research) WoLLIC 2006 Agenda Sequential algorithms Interactive algorithms Part 1: Sequential algorithms Intuition…