Distributed Systems (Module 1) 2023/2024

Main

Slides

Schedule

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
C4 – Representational State Transfer (ReST)
M6 – Modelling Distributed Systems. Software & System Architectures
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