Communication and Concurrency (Prentice Hall International Series in Computer Science)