Specification and Analysis of Concurrent Systems