Differences

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

--- didattica:magistrale:frs:ay_1920:main [2019/10/10 14:18]
tiezzi [Study material]
+++ didattica:magistrale:frs:ay_1920:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
+  * <wrap em>23/10/2019: Lecture postponed, next lecture Thursday 24 October.</wrap>
   * 09/10/2019: First lecture of the course.
   * <wrap em>Telegram channel: FRS1920@unicam</wrap>
@@ Line 75: / Line 76: @@
 <WRAP box round center 95%>
 **Course Slides**
-  * {{ :didattica:magistrale:frs:ay_1920:frs_intro1819.pdf |Introduction and general information}}
+  * {{ :didattica:magistrale:frs:ay_1920:frs_intro1920.pdf |Introduction and general information}}
-  * {{ :didattica:magistrale:frs:ay_1920:preliminaries_1819.pdf |Preliminaries}}
+  * {{ :didattica:magistrale:frs:ay_1920:preliminaries1920.pdf |Preliminaries}}
-  * {{ :didattica:magistrale:frs:ay_1920:formal_semantics_of_regular_expressions_1819.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_1819.pdf |CCS}}
+  * {{ :didattica:magistrale:frs:ay_1920:ccs_1920.pdf |CCS}}
@@ Line 84: / Line 86: @@
   * 09/10/2019: general info; reactive systems; process algebraic approach; formal methods for reactive systems ([[https://unicam.webex.com/unicam/ldr.php?RCID=a00da58b13380f7c0155060a4f9ad3a1|recorded lecture]])
   * 10/10/2019: sets; relations; equivalences; functions; induction principle. ([[https://unicam.webex.com/unicam/ldr.php?RCID=c79c647b9e9af8511bd94fa97d8a1155|recorded lecture]])
+  * 16/10/2019: inductively defined sets; inference systems; grammars ([[https://unicam.webex.com/unicam/ldr.php?RCID=4fb2d0877f2b4e909fb93ed9dc464a7e|recorded lecture]])
+  * 24/10/2019: LTS; syntax of regular expressions ([[https://unicam.webex.com/unicam/ldr.php?RCID=daeadda833d640e18419753d29d782e7|recorded lecture]])
+  * 30/10/2019: operational semantics of regular expressions ([[https://unicam.webex.com/unicam/ldr.php?RCID=52f445504ffa404aa928f95fc2a62d4d|recorded lecture]])
+  * 31/10/2019: examples about operational semantics of regular expressions ([[https://unicam.webex.com/unicam/ldr.php?RCID=74b7d1c601e84ae3bc9f8c3e77072628 |recorded lecture]])
+  * 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