Classroom Interaction
1212 Models of Computation: Automata and Processes Jos Baeten.
LESSON 3: INTERACTIONS