johnwickerson.wordpress.com
“Concurrent Buns” – A chef’s guide to concurrency verification
Sequential recipes Consider the recipe for making breakfast that is presented in Figure 1, below. An arrow from one step to another indicates that the first step must be completed before the second…