6.3.2　Structured Operational Semantics of Parallelism of Hybrid APTC with Localities