Differences

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

--- didattica:magistrale:frs:ay_1819:main [2018/11/12 08:29]
tiezzi [Study material]
+++ didattica:magistrale:frs:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>14/11/2018</wrap>: First in itinere test.
+  * <wrap em>21/1/2019: from 9:00 to 13:00 there will be ALL project presentations.</wrap>
+  * <wrap em>14/1/2019: second in itinere test</wrap>
+  * 9/1/2019: Wednesday 09 January there will be the last theoretical lecture.
+  * 17/12/2018: due to bad weather, ALL lectures on Monday 17 December are cancelled.
+  * 5/12/2018: wed 5/12 the lecture is replaced by the seminar by Prof. Nobuko Yoshida, starting at 10:00.
+  * 28/11/2018: wed 28/11 the lecture is cancelled.
+  * 26/11/2018: mon 26/11 the lecture is cancelled due to the academic year inauguration.
+  * 14/11/2018: First in itinere test.
   * 31/10/2018: The lectures of 31/10 is postponed.
   * 08-10/10/2018: The lectures of 8/10 and 10/10 are postponed; the next lecture is 15/10.
@@ Line 93: / Line 100: @@
   * 5/11/2018: introduction to Maude: sort, operations, equations ([[https://unicam.webex.com/unicam/ldr.php?RCID=95ce0f9cb2070490dadaa822dad27dbe|registration]])
   * 7/11/2018: Introduction to Maude: rewrite laws; {{ :didattica:magistrale:frs:ay_1819:river.maude.zip |Maude examples}} ([[https://unicam.webex.com/unicam/ldr.php?RCID=85b8b0c42848c4aa5300bd3a0a3a0a76 |registration]])
+  * 12/11/2018: Operational semantics of regular expression in Maude ({{ :didattica:magistrale:frs:ay_1819:op_sem_regular_expressions.maude.zip|Maude code}}) ([[https://unicam.webex.com/unicam/ldr.php?RCID=8cdc37a0026f5c9530d14e1962999e40|registration]])
+  * 14/11/2018: First in itinere test.
+  * 19/11/2018: Discussion of the in itinere test results; discussion of projects.
+  * 21/11/2018: CCS synatx and semantics ([[https://unicam.webex.com/unicam/ldr.php?RCID=e920e98dd4b3024ffbf767cb9f8e98a7|registration]])
+  * 3/12/2018: CCS examples ([[https://unicam.webex.com/unicam/ldr.php?RCID=59fc08b441f3fcf8dd5409ea8f72a93c|registration]])
+  * 5/12/2018: Seminar on Polymorphic Sessions and Functions.
+  * 10/12/2018: Process Algebras operators (basic processes, sequential composition, choice, parallel composition, merge) ([[https://unicam.webex.com/unicam/ldr.php?RCID=d4234a6b5f61311d3fde918a4fc0f4ac |registration]])
+  * 12/12/2018: Process Algebras operators (hiding, recursive definitions, replication) ([[https://unicam.webex.com/unicam/ldr.php?RCID=5fea6b180ef7993580759b6e3693e051|registration]])
+  * 19/12/2018: Behavioural equivalences (strong bisimilarity, weak trace equivalence, weak bisimilarity) ([[https://unicam.webex.com/unicam/ldr.php?RCID=4723b27347859cb2d68b82e0f38a8a7e|registration]])
+  * 9/1/2019: Exercises on CCS and behavioural equivalences ([[https://unicam.webex.com/unicam/ldr.php?RCID=642834a22dec26bb9bfaa988e5fad169 |registration]])
+  * 14/1/2019: Second in itinere test
+  * 21/1/2019: Project presentations (from 9:00 to 12:00).
 **Reference books**\\
 The main material of the course consists of:
-  * Rocco De Nicola. A gentle introduction to Process Algebras. Notes obtained by the restructuring of two entries (Process Algebras - Behavioural Equivalences) of Encyclopedia of Parallel Computing, David A. Padua (Ed.). Springer 2011; pp. 120-127 and pp. 1624-1636.
+  * Rocco De Nicola. {{ :didattica:magistrale:frs:ay_1819:intro-to-pa.pdf |A gentle introduction to Process Algebras.}} Notes obtained by the restructuring of two entries (Process Algebras - Behavioural Equivalences) of Encyclopedia of Parallel Computing, David A. Padua (Ed.). Springer 2011; pp. 120-127 and pp. 1624-1636.
   * Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, "Reactive Systems. Modelling, Specification and Verification", Cambridge University Press, 2007. ISBN: 9780521875462. Website of the book with additional material available: http://rsbook.cs.aau.dk