Sistemi distribuiti 2021/2022

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

slides / course pages
course series