活动的依赖用计算树逻辑（Computation Tree Logic，CTL）指定。调度程序通过将这些依赖转换为自动机，确保被调度的事件顺序能够被所有的rJ动机接受。
基于42个网页-相关网页
...引入时态逻辑模型检测算法，使这类兵法系统的推理 可以实现自动化，他们在文献[5]中提出了针对计算树逻辑(Computing Tree Logic，CTL)的 算法，对于程序模型的大小和时态逻辑公式的长度都是多项式复杂度的。
基于16个网页-相关网页
This paper introduces the past temporal operators into computation tree logic(CTL),and obtains a new specification language CTLP which is more expressive than CTL.
在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。
参考来源 - 具有过去时态算子的计算树逻辑模型检测 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
结果表明基于博弈的AT L逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
These works indicate that the alternating-time temporal logic (ATL) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional CTL.
使用标准消息流操作逻辑，该树位置处的值可以静态地定义、根据消息内容计算得出，或者从外部来源得出。
Using standard message flow manipulation logic, the value at the tree location could be defined statically, computed from message content, or even derived from an external source.
对故障树进行逻辑简化将有效提高分析计算的速度。
Logical reduction can speed up fault tree analysis effectively.
应用推荐