3.2.4 Structured Operational Semantics of Parallelism