MACS PSI 2015

Lecture	Handouts / Slides	Other Material
Lecture 1: Introduction	Introduction - Slides	Introduction - Video
Lecture 2: Actions, Behavior, Abstraction	Behavioral Modeling - Slides	Behavioral Modeling - Video
Lecture 3: Behavioral Equivalences	Equivalences - Slides Part I Equivalences - Slides Part II Equivalences - Slides Part III
Lecture 3: Hennessy Milner Logic	HML - Slides Part I HML - Slides Part II HML - Slides Part III HML - Slides Part IV	HML - Video Part I HML - Video Part II - Video Part III - Video Part IV
Lecture 4: Sequential Processes	Sequential Processes - Slides Part I Sequential Processes - Slides Part II	Sequential Processes - Video Part I Sequential Processes - Video Part II

System Validation at Delft Opencourseware