Basic Abstractions

In this lecture we introduce our adopted computation model and begin modeling our very first abstractions. To that end, we examine two very important concepts: "Safety" and "Liveness" properties which are integral to the correct specification of distributed system abstractions. We then showcase different levels of composition to build reliable channels and finally take a first quick look into time and causality. [Slides Download Slides]