活动的依赖用计算树逻辑（Computation Tree Logic，CTL）指定。调度程序通过将这些依赖转换为自动机，确保被调度的事件顺序能够被所有的rJ动机接受。
基于42个网页-相关网页
UML软件工程组织 。 现在的问题在于，我们究竟该如何描述执行树状结构路径(及路径上的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于
基于16个网页-相关网页
... 性时态逻辑（LinearTemporalLogic，LTL），类似的，具有分支时间结构的时态逻 辑，称为分支时态逻辑（Computation Tree Logic，CTL）。
基于4个网页-相关网页
Probabilistic Computation Tree Logic 概率计算树逻辑
Computation tree logic CTL 计算树逻辑CTL
time computation tree logic 时间计算树逻辑
应用推荐