The Analysis of Concurrent Systems