Difference between revisions of "MACS PSI 2015"
From CERES
| Line 11: | Line 11: | ||
|| [[media:MACS_PSI_behavior.pdf| Behavioral Modeling - Slides]] || | || [[media:MACS_PSI_behavior.pdf| Behavioral Modeling - Slides]] || | ||
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_75li7l0k Behavioral Modeling - Video] | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_75li7l0k Behavioral Modeling - Video] | ||
| + | |- | ||
| + | | Lecture 3: Behavioral Equivalences | ||
| + | || [[media:MACS_PSI_Eq_1.pdf| Equivalences - Slides Part I]] | ||
| + | |||
| + | [[media:MACS_PSI_Eq_2.pdf| Equivalences - Slides Part II]] | ||
| + | |||
| + | [[media:MACS_PSI_Eq_3.pdf| Equivalences - Slides Part III]] | ||
| + | || | ||
|- | |- | ||
| Lecture 3: Hennessy Milner Logic | | Lecture 3: Hennessy Milner Logic | ||
Revision as of 12:03, 24 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 |
