Title: Specification and Analysis of Concurrent Systems