...
机译:使用概率Kleene代数pKA进行协议验证
Department of Computer Science, Macquarie University, NSW 1209, Australia;
机译:懒惰,单调树和概率Kleene代数的多关系模型
机译:带有测试的守卫Kleene代数:在几乎线性的时间内验证未解释的程序(特邀演讲)
机译:使用概率模型检查器验证量子协议
机译:使用概率Kleene代数进行协议验证
机译:存在代数性质的密码协议验证算法。
机译:弱伪互补拟Kleene代数的两个对偶
机译:使用概率Kleene代数pKa进行协议验证