Concurrent Systems by Jean Bacon