Differences

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

--- didattica:magistrale:frs:ay_2021:main [2020/12/10 09:13]
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>08/11/2020: The lectures of 10/11 and 11/11 are postponed. Next lecture will take place on 17/11.</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.
@@ Line 80: / 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 105: / Line 107: @@
   * 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.