5.1 Truly Concurrent Semantics