Difference between revisions of "MACS PSI 2015"
From CERES
| Line 34: | Line 34: | ||
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_dtf7z6bv HML - Video Part II] | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_dtf7z6bv HML - Video Part II] | ||
| + | |||
| + | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_2l0fv4qt - Video Part III] | ||
| + | |||
| + | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_k4s0e6co - Video Part IV] | ||
|- | |- | ||
Revision as of 05:55, 30 August 2015
| Lecture | Handouts / Slides | Other Material |
|---|---|---|
| Lecture 1: Introduction | Introduction - Slides | |
| Lecture 2: Actions, Behavior, Abstraction | Behavioral Modeling - Slides | |
| Lecture 3: Behavioral Equivalences | Equivalences - Slides Part I | |
| Lecture 3: Hennessy Milner Logic | HML - Slides Part I | |
| Lecture 4: Sequential Processes | Sequential Processes - Slides Part I |
