Understanding Concurrent Systems by Roscoe a W