Distributed Systems (Module 1) 2024/2025

Main

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