Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:frs:ay_1819:main [2019/01/09 09:23] tiezzi [Study material] |
didattica:magistrale:frs:ay_1819:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== News ===== | ===== News ===== | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| - | * <wrap em>9/1/2019: tomorrow Wednesday 09 January there will be the last theoretical lecture.</wrap> | + | * <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. | * 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. | * 5/12/2018: wed 5/12 the lecture is replaced by the seminar by Prof. Nobuko Yoshida, starting at 10:00. | ||
| Line 107: | Line 109: | ||
| * 12/12/2018: Process Algebras operators (hiding, recursive definitions, replication) ([[https://unicam.webex.com/unicam/ldr.php?RCID=5fea6b180ef7993580759b6e3693e051|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]]) | * 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; HML and ACTL. | + | * 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 | * 14/1/2019: Second in itinere test | ||
| * 21/1/2019: Project presentations (from 9:00 to 12:00). | * 21/1/2019: Project presentations (from 9:00 to 12:00). | ||
