Differences

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

--- didattica:magistrale:frs:ay_2021:main [2020/10/28 11:41]
tiezzi [Study material]
+++ didattica:magistrale:frs:ay_2021:main [2021/01/12 11:04] (current)
tiezzi [News]
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>04/11/2020: First partial exam.</wrap>
+  * 19/1/2021: Projects' presentations.
+  * <wrap em>12/1/2021: Second in itinere test: {{ :didattica:magistrale:frs:ay_2021:frs_written_test_12_jan_2021.pdf |partial test}} and {{ :didattica:magistrale:frs:ay_2021:frs_written_test_12_jan_2021_full.pdf |full test}}.</wrap>
+  * 08/11/2020: The lectures of 10/11 and 11/11 are postponed. Next lecture will take place on 17/11.
+  * 04/11/2020: First partial exam.
   * 29/09/2020: First lecture of the course.
   * Telegram channel: FRS2021@unicam
@@ Line 79: / Line 82: @@
   * {{ :didattica:magistrale:frs:ay_2021:2_frs2021_-_formal_semantics_of_regular_expressions.pdf |Semantics of Regular Expressions}}
   * {{ :didattica:magistrale:frs:ay_2021:3_frs2021_-_ccs.pdf |CCS}}
-  * ...
@@ Line 95: / Line 98: @@
   * 21/10/2020: exercise on denotational semantics; axiomatic semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ef8acdc1eed442c88687f3a7dd3f50b1|recorded lecture]])
   * 27/10/2020: CCS synatx and semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ecfdf30fab7c4e25a65805cc0680f805|recorded lecture]])
+  * 03/11/2020: CCS examples ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/2972b5c39e7c450daab2ba83572b789d|recorded lecture]])
+  * 04/11/2020: first in itinere test
+  * 17/11/2020: discussion of the solution of the first in itinere test; CCS examples; Pesuco tool ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/3baa19c2766f450daff73d7903533b6f|recorded lecture]])
+  * 18/11/2020: Introduction to Maude: sorts, operations; equations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ad04ef26f4ab4f3ab7738a43aaa9be60|recorded lecture]])
+  * 24/11/2020: Introduction to Maude: rewrite laws ([[https://unicam.webex.com/unicam/ldr.php?RCID=54dc01ed7a9749f1a7dd99940569619f|recorded lecture]])
+  * 25/11/2020: Maude examples ([[https://unicam.webex.com/unicam/ldr.php?RCID=65d555f2429541269196a378b97e329c|recorded lecture]])
+  * 01/12/2020: Operational semantics of regular expression in Maude ([[https://unicam.webex.com/unicam/ldr.php?RCID=6dd1f240544b4687ad87cd3a7073acb2|recorded lecture]])
+  * 02/12/2020: Exercises on CCS ([[https://unicam.webex.com/unicam/ldr.php?RCID=c976a588a71340fc93b0dc25c55256c3|recorded lecture]])
+  * 09/12/2020: Process Algebras operators ([[https://unicam.webex.com/unicam/ldr.php?RCID=eac56526bbac4c27be643feafcbbae4d|recorded lecture]])
+  * 15/12/2020: Behavioural equivalences (trace equivalence and bisimilarity) ([[https://unicam.webex.com/unicam/ldr.php?RCID=58012ef62631487288b562ff51bf197b|recorded lecture]])
+  * 12/1/2021: Second in itinere test.
+  * 19/1/2021: Projects' presentations.