位置：成果数据库 > 期刊 > 期刊详情页
Applying a testing approach to the Calculus of Fair Ambients
  • 期刊名称：International Journal of Computer Mathematics
  • 时间：0
  • 页码：2040-2060
  • 语言：英文
  • 相关项目：概率进程演算的测试语义
作者： Cai, X., Zhu, H.|
同期刊论文项目
概率进程演算的测试语义
期刊论文 13 会议论文 18
同项目期刊论文
The Kantorovich Metric in Computer Science: A Brief Survey
Finite axiomatization for symbolic probabilistic π-calculus
Linear kernelizations for restricted 3-Hitting Set problems
On Mobility and Communication
Axiomatic systems for the bisimilarity on finite fair ambient processes
基于原型验证系统的自稳定算法形式化验证
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES
An Open Approach for the Applied Pi Calculus
On automatic verification of self-stabilizing population protocols
概率Applied Pi框架下的匿名度分析
最小碰集问题的精确快速算法
一种计算有限标号转移系统模拟关系的算法