Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:frs:ay_1920:main [2019/11/21 15:35] tiezzi [Study material] |
didattica:magistrale:frs:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 79: | Line 79: | ||
| * {{ :didattica:magistrale:frs:ay_1920:preliminaries1920.pdf |Preliminaries}} | * {{ :didattica:magistrale:frs:ay_1920:preliminaries1920.pdf |Preliminaries}} | ||
| * {{ :didattica:magistrale:frs:ay_1920:formal_semantics_of_regular_expressions_1920.pdf |Formal semantics of regular expressions}} | * {{ :didattica:magistrale:frs:ay_1920:formal_semantics_of_regular_expressions_1920.pdf |Formal semantics of regular expressions}} | ||
| + | * {{ :didattica:magistrale:frs:ay_1920:ccs_1920.pdf |CCS}} | ||
| Line 94: | Line 95: | ||
| * 20/11/2019: Introduction to Maude: sorts, operations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/c2f238ca993f40148a123a86e8b4acb7|recorded lecture]]) | * 20/11/2019: Introduction to Maude: sorts, operations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/c2f238ca993f40148a123a86e8b4acb7|recorded lecture]]) | ||
| * 21/11/2019: Introduction to Maude: equations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/1f6bc281365e44c79874af5dddcd8e06|recorded lecture]]) | * 21/11/2019: Introduction to Maude: equations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/1f6bc281365e44c79874af5dddcd8e06|recorded lecture]]) | ||
| + | * 27/11/2019: Introduction to Maude: rewrite laws ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/344a698a6e114077b6145d15c49e2a81|recorded lecture]]) {{ :didattica:magistrale:frs:ay_1920:mycigaretteexample.maude.zip |example}} | ||
| + | * 28/11/2019: Maude examples ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/b6e2e08452b94556a305064b2bcd928c|recorded lecture]]) {{ :didattica:magistrale:frs:ay_1920:river.maude.zip |example}} | ||
| + | * 04/12/2019: Operational semantics of regular expression in Maude ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/b73bb4f6722c42be9d18dc7413dde280|recorded lecture]]) {{ :didattica:magistrale:frs:ay_1920:op_sem_regular_expressions.maude.zip |example}} | ||
| + | * 05/12/2019: CCS synatx and semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/5b52d5c8aacc4170a5c46df0b469f0a8|recorded lecture]]) | ||
| + | * 11/12/2019: Psecuo and TAPAs ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/58c17660c8304ab4bf701bec079d59ec|recorded lecture]]) | ||
| + | * 12/12/2019: Process Algebras operators | ||
| + | * 19/12/2019: Behavioural equivalences: bisimilarity and trace equivalence ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/5f87ee3eed8e4978aba2aa6a27ae8ee1|recorded lecture]]) | ||
| + | * 15/01/2020: Second in itinere test | ||
| + | * 16/01/2020: Projects' presentations | ||
| | | ||
| | | ||
