Distributed Systems 2024/2025

    Main     Slides     Projects
Distributed Systems (Module 1) / slides

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

Distributed Systems (Module 2) / slides

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

slides / course pages
child courses
course series
page_white_powerpoint Distributed Systems 2025/2026 • page_white_powerpoint Distributed Systems 2024/2025 • page_white_powerpoint Distributed Systems 2023/2024 • page_white_powerpoint Sistemi distribuiti 2022/2023 • page_white_powerpoint Sistemi distribuiti 2021/2022 • page_white_powerpoint Sistemi distribuiti 2020/2021 • page_white_powerpoint Sistemi distribuiti 2019/2020 • page_white_powerpoint Sistemi distribuiti 2018/2019 • page_white_powerpoint Sistemi distribuiti 2017/2018 • page_white_powerpoint Sistemi distribuiti 2016/2017 • page_white_powerpoint Sistemi distribuiti 2015/2016 • page_white_powerpoint Sistemi distribuiti 2014/2015 • page_white_powerpoint Sistemi distribuiti 2013/2014 • page_white_powerpoint Sistemi distribuiti 2013/2014 • page_white_powerpoint Sistemi distribuiti 2012/2013 • page_white_powerpoint Sistemi distribuiti 2012/2013 • page_white_powerpoint Sistemi distribuiti 2011/2012 • page_white_powerpoint Sistemi distribuiti 2010/2011 • page_white_powerpoint Sistemi distribuiti L-A 2009/2010 • page_white_powerpoint Sistemi distribuiti L-A 2008/2009 • page_white_powerpoint Sistemi distribuiti L-A 2007/2008 • page_white_powerpoint Sistemi distribuiti L-A 2006/2007 • page_white_powerpoint Sistemi distribuiti L-A 2005/2006 • page_white_powerpoint Sistemi distribuiti L-A 2004/2005 • page_white_powerpoint Sistemi distribuiti L-A 2003/2004 • page_white_powerpoint Sistemi distribuiti L-A 2002/2003 • page_white_powerpoint Sistemi distribuiti L-A 2001/2002