6.2.3　Structured Operational Semantics of Hybrid BATC with Localities