Slides
Slides
Prologue
(A0) About the Course
Case Studies
(C1) The CAP Theorem. Availability, Consistency, Failure in Distributed Systems
(C2) The Problem of Consensus in Distributed Systems
(C3) Distributed Ledger Technology: Blockchain as Middleware
Main
(M0) Why Distributed Systems?
(M1) Roots of Distributed Systems: Computation in Space & Time
(M2) Definitions & Goals for Distributed Systems
(M3) Sorts of Distributed Systems
(M4) Modelling Distributed Systems. Process Algebra
(M5) Modelling Distributed Systems. Software & System Architectures
(M6) Features of Distributed Systems
(M7) Computing with Time
(M8) Computing with Space
Paradigms & Technologies
(P1) Agents for Distributed Systems
(P2) Coordination of Distributed Systems
(T0) Technologies for Distributed Systems: A Conceptual Framework
(T1) Simple Agents in Jade & TuCSoN
(T2) Linda on TuCSoN. Basics