Communicating Sequential Processes (Prentice Hall International Series in Computing Science)