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: 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