×
布里杰什·多戈尔；阿扬·J·穆伊（Arjan J.Mooij）。

简化基于进程的并发程序派生。 （英语） Zbl 1141.68025号

正式Asp。计算。 20，第2期，141-160（2008）.

引用于2文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

并发程序；数学技术；程序派生；进度

软件：

联合
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}和\textit{A.J.Mooij}，正式Asp。计算。20，第2号，141--160（2008；Zbl 1141.68025）
全文： 内政部 链接

参考文献：

[1] Alagarsamy K（2003）关于著名互斥算法的一些误解。SIGACT新闻34（3）：94–103·doi:10.1145/945526.945527
[2] Bar-David Y，Taubenfeld G（2003）互斥算法的自动发现。摘自：《分布式计算国际会议论文集》（DISC 2003），第2848卷。LNCS公司。海德堡施普林格，第136-150页·Zbl 1321.68456号
[3] Chandy KM，Misra J（1988）《并行程序设计：基础》。Addison–Wesley Longman，美国·兹伯利0717.68034
[4] Dongol B，Goldson D（2006）用进步逻辑扩展了Owicki和Gries的理论。逻辑方法计算科学2（1）：1–25·Zbl 1126.03036号
[5] Dongol B，Hayes IJ（2007）《Owicki–Gries理论的跟踪语义与UNITY的进度逻辑相结合》。技术报告SSE-2007-02，澳大利亚昆士兰大学信息技术与电气工程学院系统与软件工程研究部，昆士兰4072，2007年4月
[6] Dijkstra EW（1968）合作顺序过程。In：编程语言。纽约学术出版社，第43–112页
[7] Dijkstra EW（1976）编程学科。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0368.68005号
[8] Dijkstra EW（1982）格里斯-奥维基理论的个人总结。收录：计算机文选：个人观点。海德堡施普林格，第188-199页
[9] Dongol B，Mooij AJ（2006）衍生并发程序的进展：强调稳定守卫的作用。摘自：《程序构造数学国际会议论文集》（MPC 2006），第4014卷。LNCS公司。海德堡施普林格，第140-161页·Zbl 1235.68051号
[10] Dongol B（2006）《非阻塞项目进度特性的形式化》。摘自：《正式工程方法国际会议论文集》（ICFEM 2006），第4260卷。LNCS公司。海德堡施普林格，第284–303页
[11] Feijen WHJ（2005）《避免完全僵局的方法》，由Diethard Michaelis提供。个人备忘WF2842005年6月
[12] Francez N（1986）《公平》。海德堡施普林格
[13] Feijen WHJ，van Gasteren AJM（1999）《多道程序设计方法》。海德堡施普林格·Zbl 0931.68047号
[14] Goldson D、Dongol B（2005）《Owicki和Gries扩展理论中的并发程序设计》。摘自：《计算学报：澳大利亚理论研讨会》（CATS 2005），CRPIT第41卷。澳大利亚计算机学会，第41–50页
[15] Misra J（1990）《关于加强防护的更多信息》。http://www.cs.utexas.edu/users/psp/unity/notes/19-90.pdf1990年7月
[16] Mooij AJ（2006）构造性形式化方法和协议标准化。埃因霍温理工大学博士论文，2006年10月
[17] Manna Z，Pnueli P（1992）《反应和并发系统的时间验证：规范》。纽约州施普林格·Zbl 0753.68003号
[18] Mooij AJ，Wesselink JW（2003）动态分布式生成树算法的形式化分析。2003年12月，埃因霍温理工大学数学和计算机科学系，计算机科学报告03-16
[19] Mooij AJ，Wesselink JW（2005）使用PVS对Owicki/Gries证明轮廓进行增量验证。在：正式工程方法国际会议论文集（ICFEM 2005），LNCS第3785卷。施普林格，海德堡，第390–404页
[20] Nelson G（1989）Dijkstra微积分的推广。ACM跨程序语言系统11（4）：517–561·数字对象标识代码：10.1145/69558.69559
[21] Owicki S，Gries D（1976）并行程序的公理证明技术I.Acta Inf 6:319–340·Zbl 0324.68007号 ·doi:10.1007/BF00268134
[22] Peterson GL（1981）关于互斥问题的神话。Inf过程通知12:115–116·Zbl 0474.68031号 ·doi:10.1016/0020-0190（81）90106-X
[23] Stölen K（1990）在共享数据结构上开发并行程序。曼彻斯特大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。