Let's continue this #PapersWeLove experience with #NancyLynch and MJ Fischer's "On describing the behavior and implementation of distributed systems." Just another page or so today.

Here we're going to start establishing "execution sequences." These are a basically the "how does it run."