Differences

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

--- didattica:magistrale:dsfl:ay_1718:main [2017/10/15 18:13]
tiezzi [News]
+++ didattica:magistrale:dsfl:ay_1718:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
+  * January 17th, 2018: second in-itinere test
+  * November 6th, 2017: first in-itinere test
   * October 16th, 2017: the lecture is postponed
   * October 2nd, 2017: first lecture
@@ Line 73: / Line 75: @@
   * {{ :didattica:magistrale:dsfl:ay_1718:preliminaries.pdf |Preliminaries}}
   * {{ :didattica:magistrale:dsfl:ay_1718:slides_ccs.pdf |CCS}}
-  * {{ :didattica:magistrale:dsfl:ay_1718:parrow--an_introduction_to_the_pi-calculus.pdf |J. Parrow. An introduction to the pi-calculus}}
+  * {{ :didattica:magistrale:dsfl:ay_1718:parrow--an_introduction_to_the_pi-calculus.pdf |J. Parrow. An introduction to the pi-
-  * {{ :didattica:magistrale:dsfl:ay_1718:klaim.pdf | Klaim }}
+calculus}}
+  * {{ :didattica:magistrale:dsfl:ay_1718:pi-calculus_notes.pdf |Pi-calculus personal notes}}
+  * {{ :didattica:magistrale:dsfl:facpl_long.pdf |FACPL}}
+  * {{ :didattica:magistrale:dsfl:ay_1718:klaim_1718.pdf |Klaim}}
   * {{ :didattica:magistrale:dsfl:ay_1718:foundational_calculi_for_network_aware_programming_.pdf |Calculi for network-aware programming}}
   * {{ :didattica:magistrale:dsfl:ay_1718:soc.pdf |An overview of SOC}}
   * {{ :didattica:magistrale:dsfl:ay_1718:cows.pdf |COWS}}
   * {{ :didattica:magistrale:dsfl:ay_1718:analysis_with_cows.pdf |Analysis of SOC systems with COWS}}
-  * {{ :didattica:magistrale:dsfl:ay_1718:facpl.pdf |FACPL}}
 **Tools**
+  * [[http://facpl.sourceforge.net|FACPL]]
   * {{ :didattica:magistrale:dsfl:ay_1718:klava-2b.jar.zip |Klava}}
@@ Line 88: / Line 94: @@
   * 4 October 2017: Sw intensive systems; process algebraic approach; formal methods for reactive systems. Preliminary notions.
   * 9 October 2017: CCS syntax and semantics; CCS examples.
+  * 11 October 2017: external and internal choice; Value passing CCS. Pi-calculus syntax and structural congruence.
+  * 18 October 2017: Pi-calculus reduction semantics; examples.
+  * 23 October 2017: Pi-calculus labelled semantics; examples.
+  * 25 October 2017: Examples on Pi-calculus labelled semantics. Intro to access control systems.
+  * 30 October 2017: FACPL syntax, semantics and examples.
+  * 06 November 2017: in itinere test.
+  * 08 November 2017: analysis of FACPL policies; FACPL toolchain.
+  * 13 November 2017: Klaim syntax and semantics.
+  * 15 November 2017: Introduction to the service-oriented computing domain; intro to COWS.
+  * 27 November 2017: COWS.
+  * 29 November 2017: From simple sensors to intelligent sensors in the Internet of Things ...and how Machine Learning comes into the picture.
+  * 17 January 2018: in itinere test.