master-degree-notes/Concurrent Systems/slides/class 2.pdf