Timed CCSにおける強力な優先順位と決定性

多重送信並行通信における構築的削減により、構築的決定性を達成する。