巴西能源局79。 G.Bristow、C.Drey、B.Edwards和W.Riddle。 并发程序中的异常检测。 第九届国际软件工程会议纪要,孟买,1979年9月。 谷歌学者 数字图书馆 Bou92。 F.布尔顿克。 圣安东尼教堂(Sdmantique des Iangages impdratifs d’ordre)、圣殿和圣殿。 博士论文,Ecole polytechnique,1992年。 谷歌学者 Bou93。 F.布尔顿克。 高阶命令语言的抽象调试。 程序中。 SIGPLAN’93编程语言设计与实现会议,1993年。 谷歌学者 数字图书馆 CC77号文件。 P.Cousot和N.Cousc,t.抽象解释:通过构造或逼近不动点对程序进行静态分析的统一格模型。 第四届程序设计语言原理研讨会会议记录。 美国医学会,1977年。 谷歌学者 数字图书馆 CC79号文件。 P.库索和R.库索。 程序分析框架的系统设计。 在第六届POPL会议记录中。 ACM,1979年。 谷歌学者 数字图书馆 CC92。 P.Cousot和t~。 库索特。 摘要解释框架。 《逻辑与计算杂志》,2(4),1992年。 谷歌学者 CG93。 R.Cridlig和E.Goubault。 基于Linda的语言的语义和分析。 1993年9月,WSA'93,《计算机科学讲义》第724卷。 谷歌学者 数字图书馆 CGL94。 E.M.Clarke、O.Grumberg和D.E.Long。 模型检查和抽象。 CM程序设计语言与系统汇刊,16(5):1512-1542994年9月。 谷歌学者 数字图书馆 92瑞士法郎。 J.-H.Chow和W.L.Harrison III。共享内存的并行程序的编译时分析。 《LISP与函数编程》,1992年6月。 谷歌学者 数字图书馆 CH94(瑞士法郎)。 J.-H.Chow和W.L.Harrison III.并行程序抽象解释中的状态空间约简。 1994年国际计算机语言会议论文集。 IEEE,1994年。 谷歌学者 CPY94。 R.Cleaveland、S.Purushothaman Iyer和D.Yanklevitch。 用于保存所有CTL*公式的摘要。 技术报告,北卡罗来纳州立大学,1994年。 谷歌学者 数字图书馆 DGG94。 D.Dams、O.Grumberg和R.Gerth。 反应系统的抽象解释:保留VCTL*、3CTL*和CTL*的抽象。 编辑E.-R.Olderog,IFIP WG2.I/WG2.2/WG2.3编程概念、方法和计算工作会议记录(PROCOMET),IFIP交易,阿姆斯特丹,1994年6月。 北荷兰/爱思唯尔。 谷歌学者 DP94。 P.Degano和C.Priami。 有限状态过程的紧凑表示。 技术报告,比萨大学信息学院,1994年。 谷歌学者 EL86。 E.A.爱默生和C.-L.雷。 命题微积分片段中的有效模型检查(扩展抽象)。 程序中。 IEEE研讨会,关于逻辑计算机科学,第267-278页,马萨诸塞州剑桥,1986年6月。 谷歌学者 GJ92。 E.Goubault和T.P.Jensen。 高维自动机的同调。 程序中。 1992年8月,纽约斯托尼布鲁克,CONCUR’92。 斯普林格·弗拉格。 谷歌学者 数字图书馆 格拉91。 R.van Glabbeek先生。 高维自动机的互模拟语义。 技术报告,斯坦福大学,1991年。 谷歌学者 格拉91。 P.格兰杰。 程序变量之间线性同余等式的静态分析。 过程中。 软件开发国际理论与实践联合会议第493卷《计算机科学讲义》,第169-192页,1991年。 谷歌学者 数字图书馆 Hoa78号公路。 C.A.R.霍尔。 通信顺序过程。 ACM通讯,21(8):667-6771978。 谷歌学者 数字图书馆 克尔94。 P.凯尔布。 模型检查和抽象:一个近似真实和失败信息的框架。 技术报告,奥尔登堡大学,1994年。 谷歌学者 Mil89。 R.Milner。 沟通与并发。 普伦蒂斯·霍尔,1989年。 谷歌学者 数字图书馆 图81。 G.D.Plotkin。 操作语义的结构方法。 DAIMI FN-19技术报告,计算机科学部,丹麦奥胡斯,1981年9月。 谷歌学者 普拉91。 V.普拉特。 几何建模并发。 程序中。 第18届ACM程序设计语言原理研讨会。 ACM出版社,1991年。 谷歌学者 数字图书馆 泰伊93。 R.N.泰勒。 用于分析并发程序的通用算法。 A CM通讯,26(5):362-3761993。 谷歌学者 数字图书馆 瓦尔89。 A.Valmari。在并发程序验证期间消除冗余交错。 1989年,《计算机科学讲义》第366卷第89至103页,G.Coos和J.Hartmanis编辑。 谷歌学者 WJ78型。 N.Wirth和K.Jensen。 PASCAL用户手册和报告。 Springer-Verlag,第二版,1978年。 谷歌学者 数字图书馆 祖克93。 J.Zucker。 命题p-演算及其在模型检验中的应用。 在P.E.Lauer,编辑,《函数编程、并发、模拟和自动推理》,《讲义》第693卷~ 计算机科学。 弹簧-Verlag。 1993 谷歌学者 数字图书馆
索引术语
基于抽象模型检查的共享内存并发语言语义分析
建议
使用有序共享锁减少事务性内存的回滚 2009年欧洲-巴黎:第15届平行处理国际欧洲-巴黎会议记录 事务内存(TM)是一种并发控制机制,旨在以合理的可伸缩性简化并发编程。 程序员可以简单地指定访问共享数据的代码区域,然后TM系统将其作为。。。 并发编程与并发控制:共享事件或共享数据 ACM SIGPLAN基于对象并发编程研讨会论文集 对象系统中存在两种并发视图。 那些追求 并行编程 相信这一点 活动 在现实世界中,对象本身是并发的,因此对象本身是活动的。 对象通过发送和…参与共享事件。。。