Tampere University of Technology, Institute of Software Systems, P.O. Box 553, FIN-33101 Tampere, Finland;
机译:异步电路的过程代数验证
机译:关于公平约束下概率过程的定性性质的证明
机译:公平限制:一个灵活的公平分类方法
机译:过程代数验证中的生动性和公平性
机译:在数据中心网络中优化具有公平约束的数据分析作业
机译:诺贝尔科学奖提名:性别平等的约束
机译:过程代数验证中的生动性和公平性