Difference between revisions of "MACS PSI 2015"
From CERES
| Line 19: | Line 19: | ||
[[media:MACS_PSI_Eq_3.pdf| Equivalences - Slides Part III]] | [[media:MACS_PSI_Eq_3.pdf| Equivalences - Slides Part III]] | ||
|| | || | ||
| + | |||
| + | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_e0fpcp7q - Video Part I] | ||
| + | |||
| + | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_t22d77rf - Video Part II] | ||
| + | |||
| + | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_gaobixvl - Video Part III] | ||
| + | |||
|- | |- | ||
| Lecture 3: Hennessy Milner Logic | | Lecture 3: Hennessy Milner Logic | ||
Revision as of 06:02, 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 |
