菲利普·J·布鲁克。;理查德·佩奇(Richard F.Paige)。 Cameo:埃菲尔的另一种并发模型。 (英语) Zbl 1184.68150号 正式Asp。计算。 21,第4期,第363-391页(2009年). 引用于1文件 MSC公司: 68甲15 编程语言理论 关键词:并发;形式化方法;程序设计语言;埃菲尔;SCOOP的替代方案;异步异常 软件:勺;阿达95;艾菲尔;TCOZ公司;CSSim公司;马戏团 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Brooke}和\textit{R.F.Paige},正式Asp。计算。21,第4号,363--391(2009;Zbl 1184.68150) 全文: 内政部 哈尔 参考文献: [1] Arslan V,Eugster P,Nienaltowski P,Vaucouleur P(2004)SCOOP:并发变得容易。In:程序。可靠的系统:软件、计算、网络。最初是苏黎世理工学院的论文草稿,http://se.inf.ethz.ch/people/nienaltowski/papers/scoop_easy_draft.pdf [2] Brooke PJ,Paige RF(2006)《SCOOP批判》。收件人:Paige RF,Brooke PJ(eds)Proc。第一届类埃菲尔语言并发、实时和分发国际研讨会(CORDIE),编号YCS-TR-405。约克大学 [3] Brooke PJ,Paige RF(2007年),埃菲尔铁塔同时出现的例外情况。对象技术杂志6(10):111–126·Zbl 05737980号 ·doi:10.5381/jot.2007.6.10.a4 [4] Brooke PJ,Paige RF(2007)《利用CSPsim对CSP模型进行懒惰探索和检查》。收件人:McEwan AA、Ifill W、Welch PH(eds)通信过程架构,第33–50页 [5] Brooke PJ,Paige RF,Jacob JL(2007)埃菲尔铁杆的CSP模型。形式方面计算19(4):487–512·Zbl 1131.68034号 ·doi:10.1007/s00165-007-0033-8 [6] Caromel D(1993)面向对象并发编程方法。CACM 36(9):99–102 [7] Compton M(2000)SCOOP:埃菲尔的并发性调查。澳大利亚国立大学硕士论文 [8] 社区Z(2007)工具项目。http://czt.sourceforge.net/。上次访问时间:2007年9月 [9] ECMA-367:Eiffel分析、设计和编程语言。ECMA国际,2005年6月,日内瓦 [10] Freitas AF,Cavalcanti ALC(2006)《马戏团到爪哇的自动翻译》。In:FM 2006,LNCS中的编号4085。海德堡施普林格 [11] Fuks O,Ostroff JS,Paige RF(2004)SECG:SCOOP-to-Eiffel代码生成器。对象技术杂志3(10):143–160·Zbl 05431169号 ·doi:10.5381/jot.2004.3.10.a3 [12] Hoare CAR(1985)通信顺序过程。普伦蒂斯·霍尔国际英国公司,新泽西州·Zbl 0637.68007号 [13] Mahony B,Dong JS(2002)TCSP和Object-Z:TCOZ方法的深层语义链接。形式方面计算13(2):142–160·Zbl 1063.68603号 ·doi:10.1007/s00165020004 [14] Meyer B(1997)面向对象的软件构造,第2版。新泽西州普伦蒂斯·霍尔·Zbl 0987.68516号 [15] Nienaltowski P SCOOPLI实施,2005年。网址:http://se.inf.ethz.ch/research/scoop.html [16] Nienaltowski P(2007)基于契约的并发面向对象编程实用框架。苏黎世理工学院博士论文 [17] Nienaltowski P、Meyer B、Ostroff JS(2008)《并发合同》。形式方面计算。doi:10.1007/s00165-007-0063-2 [18] Ostroff JS、Torshizi F、Huang HF、Schoeller B(2008)《超越并发契约》。形式方面计算。doi:10.1007/s00165-008-0073-8 [19] Paige R,Ostroff J(2004)ERC——Eiffel的面向对象精化演算。形式方面计算16(1)·Zbl 1084.68022号 [20] Roscoe AW(1998)《并发的理论与实践》。计算机科学系列。新泽西州普伦蒂斯·霍尔 [21] Schneider S(2000)并发和实时系统。纽约威利 [22] Taft,T,Duff,RA(eds)(1997)Ada 95参考手册。计算机科学课堂讲稿中的第1246位。海德堡施普林格 [23] Woodcock J,Cavalcanti A(2002)《马戏团的语义》。In:程序。ZB,第184-203页·Zbl 1044.68560号 [24] Wellings A RECOP:使用Eiffel进行实时并发编程。收件人:Paige RF,Brooke PJ(eds)Proc。第一届类埃菲尔语言并发、实时和分发国际研讨会(CORDIE),编号YCS-TR-4052006年7月 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。