CS 541 Lecture -*- Outline -*- * Semantics of Message passing