Sistemi distribuiti 2020/2021

prologue

(A0) About the Course

introductory examples

(E1) The CAP Theorem. Availability, Consistency, Failure in Distributed Systems
(E2) The Problem of Consensus in Distributed Systems

core content

(C0) Why Distributed Systems?
(C1) Roots of Distributed Systems: Computation in Space & Time
(C2) Modelling Distributed Systems. Software & System Architectures
(C3) Modelling Distributed Systems. Process Algebra
(C4) Sorts of Distributed Systems
(C5) Definitions & Goals for Distributed Systems
(C6) Middleware
(C7) Features of Distributed Systems
(C8) Computing with Time
(C9) Computing with Space
(C10) Computing without Space: Cloud Computing
(C11) Standard Services for Distributed Systems: Web Services

paradigms

(P1) Agents for Distributed Systems
(P2) Coordination of Distributed Systems

technologies

(T0) Technologies for Distributed Systems: A Conceptual Framework
(T1) Simple Agents in Jade & TuCSoN
(T2) Linda on TuCSoN. Basics
(T3) Blockchain & Smart Contracts

slides / course pages
course series