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_1920:main [2019/12/30 15:31] tiezzi [Study material] |
didattica:magistrale:frs:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 99: | Line 99: | ||
| * 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}} | * 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]]) | * 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/dbe13a40db0e415f89a1edd3153b8074|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 ([[|recorded lecture]]) | + | * 12/12/2019: Process Algebras operators |
| - | * 19/12/2019: Behavioural equivalences: bisimilarity and trace equivalence ([[|recorded lecture]]) | + | * 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 | * 15/01/2020: Second in itinere test | ||
| * 16/01/2020: Projects' presentations | * 16/01/2020: Projects' presentations | ||
