20.1.4 基于逻辑时间的算法