...
机译:失去的等价攻略:概率分支BISimareity
Reykjav Univ Reykjavik Iceland;
Univ Insubria Como Italy;
Formal semantics; Nondeterministic probabilistic processes; Probabilistic branching bisimilarity; Semi-branching bisimilarity; Equivalence relations;
机译:概率双相似性作为测试等效性
机译:概率分裂与一致性:分支双模性
机译:计算概率自动机的概率间隔距离
机译:分支地方BISIMILATY:具有沉默移动的有限培养网的可判定行为等效性
机译:验证概率分支时间系统。
机译:失落树皮的袭击者:退化景观中的猩猩觅食策略
机译:定时分支双相似性确实是等价的
机译:失落艺术的攻略 - 恢复和实施21世纪联合规划运动规划的知识分子