Concur 2000 - Concurrency Theory by C. Palamidessi