Labeled Transition System
虽然π演算的行为通常被解释到一个标号迁移系统（Labeled Transition System）上，但在状态/事件混合系统的建模和推理中，需要扩展一般的标号迁移系统使它能够对系统行为（即：迁移标号）和系统状态（即：状态...
基于16个网页-相关网页
标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.
基于4个网页-相关网页
短语
生成标号迁移系统
Labeled Transition System
;
LTS
了标号迁移系统
LabelledTransition System
;
LTS
·2,447,543篇论文数据，部分数据来源于NoteExpress