菲利普·布鲁克。;理查德·佩奇（Richard F.Paige）。;杰里米·雅各布。 埃菲尔SCOOP的CSP模型。 （英语） Zbl 1131.68034号 正式Asp。计算。 第4号第19页，第487-512页（2007年）. 引用于三文件 MSC公司： 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：并发;形式化方法;编程语言;艾菲尔;勺 软件：TCOZ公司;马戏团;CSSim公司;艾菲尔;勺;阿达95;格拉夫维兹 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Brooke}等人，《正式评论》。计算。19，第4号，487--512（2007；Zbl 1131.68034） 全文： DOI程序 参考文献： [1] Bailly A（2004）SCOOP的形式语义和证明系统，草稿 [2] Brooke PJ，Paige RF（2006），埃菲尔的另一种并发模型。收件人：Paige RF，Brooke PJ（eds）第一届类埃菲尔语言并发、实时和分发国际研讨会论文集（CORDIE），编号YCS-TR-405，约克大学 [3] Brooke PJ，Paige RF（2007年），埃菲尔铁塔同时出现的例外情况。J Object Technol（即将推出） [4] Caromel D（1993）面向对象并发编程方法。通信ACM 36（9）：90–102·doi:10.145/162685.162711 [5] Compton M（2000）SCOOP:埃菲尔的并发性调查。澳大利亚国立大学硕士论文 [6] ECMA-367（2005）埃菲尔分析、设计和编程语言，埃克玛国际 [7] Formal Systems（Europe）Ltd（1995）Failures-Diversity refinement:FDR 2。http://www.formal.demon.co.uk/ [8] Freitas AF，Cavalcanti ALC（2006）《马戏团到爪哇的自动翻译》。收录：FM 2006会议记录，LNCS 4085。海德堡施普林格 [9] Fuks O，Ostroff JS，Paige RF（2004）SECG：SCOOP-to-Eiffel代码生成器。对象技术杂志3（10）：143–160·doi:10.5381/jo.2004.3.10.a3 [10] Graphviz–图形可视化软件。http://www.graphviz.org/，上次访问时间：2006年10月10日 [11] Hoare CAR（1985）通信顺序过程。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0637.68007号 [12] Mahony B，Dong JS（2002）TCSP与对象Z的深层语义联系：TCOZ方法。正式Asp计算杂志13:142–160·Zbl 1063.68603号 ·doi:10.1007/s00165020004 [13] Matsuoka S、Taura K、Yonezawa A（1993）并发面向对象语言中同步代码的高效封装重用。收录：1993年OOPSLA会议记录 [14] Meyer B（1997）面向对象软件构建，第2版。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0987.68516号 [15] Nienaltowski P、Arslan V、Meyer B（2004）SCOOP：简化并发编程，论文初稿，http://www.se.inf.ethz.ch/people/nienaltowski/papers/scoop_easy_draft.pdf [16] Nienaltowski P，Meyer B（2005）SCOOPLI实施，http://www.se.inf.ethz.ch/research/scoop.html [17] Nienaltowski P（ed）（2005）第一次SCOOP研讨会会议记录，苏黎世联邦理工学院，2005年2月 [18] Roscoe AW（1998）并发的理论和实践。在：计算机科学系列。英格伍德悬崖普伦蒂斯·霍尔 [19] Schneider S（2000）并发和实时系统。纽约威利 [20] Taft T，Duff RA（eds）（1997）Ada 95参考手册。收录：计算机科学课堂讲稿，第1246卷。海德堡施普林格 [21] Woodcock J，Cavalcanti A（2002）《马戏团的语义》。摘自：ZB会议记录，第184-203页·兹比尔1044.68560 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。