位置：成果数据库 > 期刊 > 期刊详情页
On automatic verification of self-stabilizing population protocols
  • ISSN号：1673-7350
  • 期刊名称：Frontiers of Computer Science in China
  • 时间：0
  • 页码：357-367
  • 语言：英文
  • 相关项目：概率进程演算的测试语义
作者： Pang,J.|Deng,Y.|Luo,Z.|
同期刊论文项目
概率进程演算的测试语义
期刊论文 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
基于原型验证系统的自稳定算法形式化验证
Applying a testing approach to the Calculus of Fair Ambients
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES
An Open Approach for the Applied Pi Calculus
概率Applied Pi框架下的匿名度分析
最小碰集问题的精确快速算法
一种计算有限标号转移系统模拟关系的算法