Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)