Message Processing Semantics

Programming Reactive Systems