Understanding Concurrent Systems by