文件大小：462 kB 13页
人口协议的验证
作者
-
部分： 体积： 第26届并行理论国际会议（CONCUR 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-08-26
文件
文件标识符
引用为 获取BibTex
摘要
关键词
人口协议 Petri网 参数化验证
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
本杰明·阿米诺夫（Benjamin Aminof）、托默·科特克（Tomer Kotek）、萨沙·鲁宾（Sasha Rubin）、弗朗西斯科·斯佩尼（Francesco Spegni）和赫尔穆特·维思（Helmut Veith）。 交会系统的参数化模型检查。 在CONCUR’14中，LNCS第8704卷，第109-124页。 斯普林格，2014年。 
-
达娜·安格鲁因（Dana Anguin）、詹姆斯·阿斯普内斯（James Aspnes）、佐·迪亚马迪（ZoöDiamadi）、迈克尔·菲舍尔（Michael J.Fischer）和雷内·佩拉塔（Rene Peralta）。 被动移动有限状态传感器网络中的计算。 PODC’04，第290-299页。 ACM，2004年。
-
达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯普内斯（James Aspnes）和大卫·艾森斯塔特（David Eisenstat）。 通过具有领导者的人口协议进行快速计算。 在DISC'06中，LNCS第4167卷，第61-75页。 斯普林格，2006年。
-
达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯普内斯（James Aspnes）和大卫·艾森斯塔特（David Eisenstat）。 稳定的可计算谓词是半线性的。 PODC’06，第292-299页。 ACM，2006年。
-
Krzysztof R.Apt和Dexter C.Kozen。 有限状态并发系统的自动验证限制。 信息处理信件，22（6）：307-3091986。
-
J.Clement、C.Delport-Gallet、H.Fauconnier和M.Sighireanu。 人口方案验证指南。 ICDCS’11，第215-224页，2011年。
-
Z.Diamadi和Michael J.Fischer。 一个研究分布式系统中信任的简单游戏。 武汉大学自然科学学报，6（1-2）：72-822001。
-
David Frutos-Escrig和C.Johnen。 家庭空间财产的可决定性。 南巴黎大学LRI技术报告503。 奥赛中心。， 1989
-
Steven M.German和A.Prasad Sistla。 推理具有多个进程的系统。 美国医学会杂志，39（3）：675-7351992。
-
西莫·金斯堡：无语境语言的数学理论。 McGraw-Hill，Inc.，美国纽约州纽约市，1966年。
-
杰罗姆·勒鲁。 利用presburger归纳不变量研究一般向量加法系统的可达性问题。 在LICS’09中，第4-13页。 IEEE计算机学会，2009年。
-
杰罗姆·勒鲁。 向量加法系统可逆可达性问题。 在CONCUR’11，LNCS第6901卷，第327-341页。 施普林格，2011年。
-
杰罗姆·勒鲁。 向量加法系统可达性问题（一个更简单的解决方案）。 图灵100周年纪念大会，EPiC系列第10卷，第214-228页。 EasyChair，2012年。
-
杰罗姆·勒鲁。 普雷斯伯格矢量加法系统。 在LICS’13中，第23-32页。 IEEE计算机学会，2013年。
-
Saket Navlakha和Ziv Bar Joseph。 生物和计算系统中的分布式信息处理。 Commun公司。 ACM，58（1）：94-1022014年12月。