机译:关于基于路径的代数和双仿真的弱概念
机译:基于路径的规范语言中多项式代数的双仿真证明方法
机译:阶富集单子上的代数的弱双仿真
机译:Stone空间上的余数代数的双仿真
机译:多项式代数的基于路径的规范语言中的双仿真证明方法
机译:大图的基于Bisimulation的结构摘要。
机译:三个欧洲国家的邻里和路径的绿地空间:与客观体力活动的协会
机译:在富含秩序的混合物上对金属的微弱模拟
机译:Coiterative morphisms:使用Coalgebras进行互模拟的互动等式推理