Concurrent Systems (2nd Edition) (International Computer Science Series)