Distributed Systems 2020/2021
lectures
- A0 – About the Course
- C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems
- C2 – The Problem of Consensus in Distributed Systems
- C3 – Blockchain and Smart Contracts
- C4 – Technologies for Distributed Systems: A Conceptual Framework
- C5 – Simple Agents in JADE and TuCSoN
- C6 – Linda on TuCSoN: Basics
- M0 – Why Distributed Systems?
- M1 – Roots of Distributed Systems: Computation in Space and Time
- M2 – Modelling Distributed Systems: Software and System Architectures
- M3 – Modelling Distributed Systems: Process Algebra
- M4 – Sorts of Distributed Systems
- M5 – Definitions and Goals for Distributed Systems
- M6 – Middleware
- M7 – Features of Distributed Systems
- M8 – Computing with Time
- M9 – Computing with Space
- M10 – Computing without Space: Cloud Computing
- M11 – Standard Services for Distributed Systems: Web Services
- M12 – Agents for Distributed Systems
- M13 – Coordination of Distributed Systems
labs
- L0 – About the Lab
- L1 – Build Automation 101
- L2 – JADE in Practice
- L3 – Asynchronous Programming 101
- L4 – Building Agents from Scratch
- L6 – Building Linda from Scratch
- L7 – Modelling Distributed Systems with Process Algebrae
- L8 – ReSTful Web Services
- L9 – Conclusions and Future Works
- L10 – Containers 101