机译:赋范可交换上下文无关过程的分支双仿真的可判定性
Institute of Computer Science, University of Bayreuth, Bayreuth, Germany;
Institute of Informatics, University of Warsaw, Warsaw, Poland;
Institute of Informatics, University of Warsaw, Warsaw, Poland;
Branching bisimulation equivalence; Commutative context-free graphs; Equivalence checking; Basic parallel processes;
机译:规范下推过程的双仿真等效性的判定性
机译:确定范数无上下文过程的相似性的多项式算法
机译:概率系统的分支双仿真:特征和可判定性
机译:赋范可交换上下文无关过程的分支双仿真的可判定性
机译:规范在全球团队合作中扮演什么角色?文化交流和协调规范对国际分布团队中团队流程的影响
机译:非交换赋范线性环中指数函数的总微分方程
机译:赋范可交换上下文无关过程的分支双仿真的可判定性