Lecture

Message Processing Semantics