Sistemi distribuiti (modulo 1) 2025/2026
lezioni
- A0 – About the Course
- C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems
- C2 – Logging and Checkpointing: Towards Recovery of Distributed Systems
- C3 – The Problem of Consensus in Distributed Systems
- C4 – Distributed Ledger Technology: Blockchain as Middleware
- C5 – Logical Clocks
- C6 – Code Mobility
- CX – Addressing production-ready distributed systems through Kubernetes: A practical overview
— Mattia Matteini
- M0 – Why Distributed Systems?
- M1 – Dependability in Distributed Systems
- M2 – Roots of Distributed Systems: Computation in Space and Time
- M3 – Replication and Consistency in Distributed Systems
- M4 – Definitions and Goals for Distributed Systems
- M5 – Sorts of Distributed Systems
- M6 – Computing with Time
- M7 – Computing with Space
- M8 – Modelling Distributed Systems: Software and System Architectures
- M9 – Modelling Distributed Systems: Process Algebra
