For Monday Read chapter 8 Homework: –Chapter 7, exercises 1, 8, and 9 May be done in pairs.
Formal Modeling of Concurrent Processes: PI and API Calculi Shahram Rahimi.
For Monday