Distributed Systems 2024/2025
Main | Slides | Projects |
prologue
A0 – About the Course
course
M0 – Why Distributed Systems?
C1 – The CAP Theorem. Availability, Consistency, Failure in Distributed Systems
M1 – Replication & Consistency in Distributed Systems
M2 – Dependability in Distributed Systems
M3 – Roots of Distributed Systems: Computation in Space & Time
C2 – The Problem of Consensus in Distributed Systems
M4 – Definitions & Goals for Distributed Systems
M5 – Sorts of Distributed Systems
C3 – Distributed Ledger Technology: Blockchain as Middleware
M6 – Modelling Distributed Systems: Software & System Architectures
C4 – Representational State Transfer (ReST)
M7 – Modelling Distributed Systems: Process Algebra
C5 – Logical Clocks
M8 – Computing with Time
M9 – Agents for Distributed Systems
C6 – Simple Agents in JADE
C7 – Coordination in Linda
M10 – Coordination of Distributed Systems
C8 – Code Mobility
M11 – Computing with Space
lab
L10 – JADE lab
L11 – TuCSoN lab
preliminaries
Python Crash Course (Matteo Magnini)
lab
(Repo) Examples and Exercises
(Slides) About the course
(Slides) Preliminaries about Distributed Systems Engineering
(Slides) Communication Mechanisms for Distributed Systems
(Slides) Presentation Mechanisms for Distributed Systems
(Slides) [WIP] Distributed Pong Case Study


























