4.2.2　Structured Operational Semantics of Parallelism with Static Localities