Lecture are on Mondays and every other Friday (starting on first week), both from 10am to 12pm. Lecture halls do not have a regular occurrence, so it is advisable to check the lecture hall before each session.
In the following table we will upload the slides and code of the programming examples used during the lectures.
| # | Date | Topic | Slides/Code |
|---|---|---|---|
| 1 | November 5th, 2018 | Introduction | |
| 2 | November 9th, 2018 | Network Communication: Sockets and RPC | |
| 3 | November 12th, 2018 |
Network Communication: Java RMI
Shared Memory Concurrency: Java Threads |
|
| 4 | November 19th, 2018 | Shared Memory Concurrency: Mutual exclusion, Locks, Semaphores and Monitors | |
| 5 | November 23th, 2018 | Actors Model and Akka | |
| 6 | November 26th, 2018 | Actors Model: Client-Server architecture | |
| 7 | December 3rd, 2018 |
|
|
| 8 | December 7th, 2018 | Time and Synchronisation | |
| 9 | December 14th, 2018 | Labs review session | - |
| 10 | December 17th, 2018 | Formal Verification of Distributed Systems |