Timed CCS에서의 강한 우선순위와 결정성

시간이 지난 CCS에서 강한 우선순위와 결정성의 중요성을 강조