Difference between revisions of "MACS PSI 2015"
From CERES
| Line 13: | Line 13: | ||
|- | |- | ||
| Lecture 3: Hennessy Milner Logic | | Lecture 3: Hennessy Milner Logic | ||
| − | || [[media:MACS_PSI_HML_1.pdf| HML - Slides Part I]] [[media:MACS_PSI_HML_2.pdf| Hennessy Milner Logic - Slides Part II]] [[media:MACS_PSI_HML_3.pdf| HML - Slides Part III]] || | + | || [[media:MACS_PSI_HML_1.pdf| HML - Slides Part I]] |
| + | |||
| + | [[media:MACS_PSI_HML_2.pdf| Hennessy Milner Logic - Slides Part II]] | ||
| + | |||
| + | [[media:MACS_PSI_HML_3.pdf| HML - Slides Part III]] || | ||
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_110edzxc HML - Video Part I] | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_110edzxc HML - Video Part I] | ||
| + | |||
[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] | ||
| + | |||
|} | |} | ||
Revision as of 10:54, 24 August 2015
| Lecture | Handouts / Slides | Other Material |
|---|---|---|
| Lecture 1: Introduction | Introduction - Slides | |
| Lecture 2: Actions, Behavior, Abstraction | Behavioral Modeling - Slides | |
| Lecture 3: Hennessy Milner Logic | HML - Slides Part I
Hennessy Milner Logic - Slides Part II |
