艾尔维拉·阿尔伯特；科里亚斯，杰苏斯；德国普埃布拉；吉列尔莫，罗曼·迪斯 分布式系统的量化抽象配置。 （英语） Zbl 1319.68023号 正式Asp。计算。 27，第4期，665-699（2015）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，正式Asp。计算。27，第4号，665--699（2015；Zbl 1319.68023） 全文： 内政部
艾丽卡·阿尔布拉汉姆；伊莫·格雷布；安德烈亚斯·格吕纳；马丁·斯特芬 具有未来和承诺的面向对象语言的行为接口描述。 （英语） Zbl 1187.68130号 J.日志。阿尔盖布。程序。 78，第7期，491-518（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛E.Ábrahám｝等人，J.Log。阿尔盖布。程序。78，第7号，491--518（2009；Zbl 1187.68130） 全文： 内政部
艾丽卡·阿尔布拉汉姆；安德烈亚斯·格吕纳；马丁·斯特芬 带有监视器的面向对象语言的抽象接口行为。 （英语） Zbl 1162.68475号 理论计算。系统。 43，编号3-4，322-361（2008）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《理论计算》。系统。43，编号3--4，322--361（2008；Zbl 1162.68475） 全文： 内政部 链接
C.B.琼斯。 安全地分裂原子。 （英语） Zbl 1111.68022号 西奥。计算。科学。 375，编号1-3，109-119（2007）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \文本{C.B.Jones}，Theor。计算。科学。375，编号1--3，109-119（2007；Zbl 1111.68022） 全文： 内政部
埃米尔·塞克林斯基 使用细粒度基于操作的并发对象进行验证和优化。 （英语） 兹比尔1070.68092 西奥。计算。科学。 331，第2-3号，429-455（2005）.MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Sekerinski}，Theor（西奥）。计算。科学。331，编号2-32429-455（2005年；Zbl 1070.68092） 全文： 内政部
塞德里克·Fornet；科西莫·拉内夫；吕克·马兰吉特；雷米，迪迪埃 连接演算中的继承。 （英语） Zbl 1035.03011号 J.日志。阿尔盖布。程序。 57，第1-2期，23-69（2003）.MSC公司：03B70号 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛C.Fournet｝等人，J.Log。阿尔盖布。程序。57、编号1--2、23-69（2003；Zbl 1035.03011） 全文： 内政部
安娜·菲利普；大卫·沃克 关于并发对象程序的转换。 （英语） Zbl 0915.68024号 西奥。计算。科学。 195，第2期，259-289（1998）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Philippou}和\textit{D.Walker}，Theor。计算。科学。195，第2号，259--289（1998；Zbl 0915.68024） 全文： 内政部
刘新新；大卫·沃克 过程和对象系统的部分汇合。 （英语） Zbl 0913.68129号 西奥。计算。科学。 206，编号1-2，127-162（1998）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{D.Walker}，Theor。计算。科学。206，编号1--2，127-162（1998；Zbl 0913.68129） 全文： 内政部
大卫·桑吉奥吉 将类型化对象解释为类型化演算。 （英语） Zbl 0914.03039号 Inf.计算。 143，第1期，34-73（1998）.MSC公司：03B70号 68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，信息计算。143，编号1，34--73（1998；Zbl 0914.03039） 全文： 内政部
保罗·迪·布拉西奥；费雪，凯萨琳 并发对象的演算。 （英语） Zbl 1514.68163号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1119，655-670（1996年）。MSC公司：68问题85 68甲15 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Di Blasio}和\textit{K.Fisher}，莱克特。票据计算。科学。1119655-670（1996年；Zbl 1514.68163） 全文： 内政部
安娜·菲利普；大卫·沃克 关于并发对象程序的转换。 （英语） Zbl 1514.68178号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1119, 131-146 (1996).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Philippou}和\textit{D.Walker}，莱克特。票据计算。科学。1119、131--146（1996年；Zbl 1514.68178） 全文： 内政部
刘新新；大卫·沃克 过程和对象系统的融合。 （英语） Zbl 1496.68239号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 217-231 (1995).MSC公司：68问题85 68甲15 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{D.Walker}，Lect。票据计算。科学。915217-231（1995年；Zbl 1496.68239） 全文： 内政部
美国，皮埃尔；法兰克·德波尔 关于动态演变过程结构的推理。 （英语） Zbl 0821.68106号 正式Asp。计算。 6，第3号，269-316（1994）.MSC公司：68吨15 68T27型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.America｝和\textit｛F.de Boer｝，正式Asp。计算。6，编号3，269--316（1994；Zbl 0821.68106） 全文： 内政部
大卫·桑吉奥吉 从\（\pi\）-演算到高阶\（\ pi\）–演算，然后再返回。 （英语） Zbl 1497.68351号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。第668、151-166页（1993年）。MSC公司：68问题85 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，莱克特。票据计算。科学。668151--166（1993年；Zbl 1497.68351） 全文： 内政部
C.B.琼斯。 在基于对象的设计方法中约束干涉。 （英语） Zbl 1497.68100号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。668, 136-150 (1993).MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}，莱克特。票据计算。科学。668136-150（1993年；Zbl 1497.68100） 全文： 内政部
德·巴克尔，J.W。；德文克，E.P。 具有度量语义的Rendez-vous。 （英语） Zbl 0818.68106号 新一代计算。 12，No.1，53-90（1993）.MSC公司：第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{E.P.de Vink}，新一代计算。12，第1号，53--90（1993；Zbl 0818.68106） 全文： 内政部
美国，皮埃尔；简·拉特 并行面向对象语言的分层语义。 （英语） Zbl 0752.68052号 正式Asp。计算。 4，第4期，376-408（1992年）. 审核人：J.Rutten（阿姆斯特丹） MSC公司：第68季度55 68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛P.America｝和\textit｛J.Rutten｝，正式Asp。计算。4，编号4，376--408（1992；Zbl 0752.68052） 全文： 内政部
大卫·沃克 \面向对象编程语言的（pi）-演算语义。 （英语） Zbl 1493.68063号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。526, 532-547 (1991).MSC公司：68甲15 68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Walker}，莱克特。票据计算。科学。526532-547（1991年；Zbl 1493.68063） 全文： 内政部