机译:解开纠结:一种分析并发系统的新颖方法
Queensland Univ Technol, Brisbane, Qld 4001, Australia;
NICTA Queensland Lab, Brisbane, Qld, Australia|Queensland Univ Technol, Brisbane, Qld 4001, Australia;
Queensland Univ Technol, Brisbane, Qld 4001, Australia;
Eindhoven Univ Technol, NL-5600 MB Eindhoven, Netherlands|Queensland Univ Technol, Brisbane, Qld 4001, Australia;
Concurrency; Concurrent systems; Analysis; Untanglings; Representative untanglings;
机译:分析并发反应系统中基于事件的调度
机译:用于分析多级并发系统的数据和时间抽象技术
机译:井下双板系统中的一个双模解除方法
机译:消除管道项目的并发延迟
机译:在不确定性下分析决策的模型管理系统方法:关系数据库方法。
机译:通过分析半脚形动物的轴伸长机制来解开后部的生长和节段
机译:解开纠结:一种分析并发系统形式化方面的新颖方法
机译:描述并行不确定系统的形式化及其在死锁危险分析系统中的应用