Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:frs:ay_1920:main [2019/11/07 14: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:formal_semantics_of_regular_expressions_1920.pdf |Formal semantics of regular expressions}}
+  * {{ :didattica:magistrale:frs:ay_1920:ccs_1920.pdf |CCS}}
@@ Line 91: / Line 92: @@
   * 06/11/2019: denotational semantics of regular expressions ([[https://unicam.webex.com/unicam/ldr.php?RCID=c634023d533a4471a49be28ae766566d|recorded lecture]])
   * 07/11/2019: exercise on denotational semantics; axiomatic semantics ([[https://unicam.webex.com/unicam/ldr.php?RCID=bf0e3fb1b2a34a9bbd0f52019d00a462|recorded lecture1]],[[https://unicam.webex.com/unicam/ldr.php?RCID=b4220a16c89f4d9db353ada6b67d8e0f|recorded lecture2]])
+  * 14/11/2019: first in itinere test
+  * 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]])
+  * 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