佩德罗·里贝罗;安娜·卡瓦尔坎蒂 通过UTP为CSP提供天使流程。 （英语） Zbl 1410.68236号 西奥。计算。科学。 756, 19-63 (2019).MSC公司：第68季度第60季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}和\textit{A.Cavalcanti}，Theor。计算。科学。756、19-63（2019年；Zbl 1410.68236） 全文： 内政部 链接
蒂亚戈·L·阿尔维斯。;保罗·F·席尔瓦。;Joost Visser公司 约束感知模式转换。 （英语） Zbl 1291.68213号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（规则2008），奥地利哈根堡哈根堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，3-18（2012）。MSC公司：2012年第68季度 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.L.Alves}等人，《电子》。注释Theor。计算。科学。290，3--18（2012；Zbl 1291.68213） 全文： 内政部
马塞尔·奥利维拉;泽达，弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 （英语） 兹比尔1218.68101 科学。计算。程序。 76，第9期，792-833（2011）.MSC公司：第68季度第60季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人，科学。计算。程序。76，第9号，792--833（2011；Zbl 1218.68101） 全文： 内政部
维姆·赫瑟林克。 命令式编程中对偶不确定性的交替状态。 （英语） Zbl 1208.68107号 西奥。计算。科学。 411，第22-24号，2317-2330（2010）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \文本｛W.H.Hesselink｝，Theor。计算。科学。411，No.22--24，2317--2330（2010；Zbl 1208.68107） 全文： 内政部 链接
林赛·格罗夫斯;罗伯特·科尔文 可扩展无锁堆栈算法的基于跟踪的推导。 （英语） Zbl 1165.68064号 正式Asp。计算。 21，第1-2号，187-223（2009）.MSC公司：68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Groves}和\textit{R.Colvin}，正式Asp。计算。21，编号1--2187-223（2009；Zbl 1165.68064） 全文： 内政部
罗伯特·科尔文;伊恩·海斯。;保罗·斯特罗珀 在上下文逻辑程序优化中计算模块。 （英语） 兹比尔1128.68015 理论与实践。日志。程序。 8，第1期，1-31页（2008年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}等人，《理论与实践》。日志。程序。8，编号1，1--31（2008；Zbl 1128.68015） 全文： 内政部
阿尔西诺·库尼亚;Joost Visser公司 用于耦合软件转换的强类型重写。 （英语） Zbl 1277.68042号 Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，17-34（2007）。MSC公司：68号01 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cunha}和\textit{J.Visser}，电子。注释Theor。计算。科学。174，编号1，17--34（2007；Zbl 1277.68042） 全文： 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;史蒂夫·邓恩 程序设计统一理论中的天使般的不确定性。 （英语） Zbl 1105.68012号 正式Asp。计算。 18，第3期，288-307（2006）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，《正式Asp》。计算。18，第3号，288--307（2006；Zbl 1105.68012） 全文： 内政部 链接
戴维·诺曼（David A.Naumann）。 高阶命令式语言数据优化的合理性。 （英语） Zbl 1002.68090号 西奥。计算。科学。 278，第1-2号，271-301（2002）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann}，Theor。计算。科学。278，编号1--2，271--301（2002；Zbl 1002.68090） 全文： 内政部
莱克斯·比伊斯玛 基于模型的规范。 （英语） Zbl 1003.68075号 信息处理。莱特。 77，编号2-4，77-84（2001）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bijlsma｝，Inf.流程。莱特。77，编号2--4，77-84（2001；Zbl 1003.68075） 全文： 内政部
P.H.B.加德纳。 一致性和完备性的代数证明。 （英语） Zbl 0874.68195号 西奥。计算。科学。 150，第1期，161-191（1995）.MSC公司：第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}，Theor。计算。科学。150，第1号，161--191（1995；Zbl 0874.68195） 全文： 内政部
戴维·诺曼（David A.Naumann）。 谓词转换器和高阶程序。 （英语） Zbl 0874.68024号 西奥。计算。科学。 150，第1期，111-159（1995）.MSC公司：68号01 68纳米99 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann}，Theor。计算。科学。150，编号1，111--159（1995；Zbl 0874.68024） 全文： 内政部
维姆·赫瑟林克。 递归过程的安全和进度。 （英语） Zbl 0838.68073号 正式Asp。计算。 7，第4号，389-411（1995）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，正式Asp。计算。7，第4号，389--411（1995；Zbl 0838.68073） 全文： 内政部
冯·赖特，J。 数据优化的网格。 （英语） Zbl 0790.68028号 学报信息。 第2105-135号（1994年）第31页.MSC公司：68第05页 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}，《学报信息》31，第2期，第105--135页（1994；Zbl 0790.68028） 全文： 内政部
维姆·赫瑟林克。 通过堆栈和游戏实现不确定性和递归。 （英语） Zbl 0795.68128号 西奥。计算。科学。 124，第2期，273-295（1994年）.MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，Theor（西奥·H·赫塞林克）。计算。科学。124，第2号，273--295（1994；Zbl 0795.68128） 全文： 内政部
Ambuj K·辛格。 公平过渡系统中的程序优化。 （英语） Zbl 0790.68078号 学报信息。 30，第6期，503-535（1993）.MSC公司：第68季度第60季度 68问题85 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh}，Acta Inf.30，No.6，503--535（1993；Zbl 0790.68078） 全文： 内政部
P.H.B.加德纳。;卡罗尔·摩根 数据优化的单一完整规则。 （英语） Zbl 0774.68081号 正式Asp。计算。 第5期，第4期，第367-382页（1993年）.MSC公司：第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan}，正式Asp。计算。5，第4号，367--382（1993；Zbl 0774.68081） 全文： 内政部
维姆·赫瑟林克。 命令代数、递归和程序转换。 （英语） Zbl 0697.68023号 形式方面计算。 2，第1号，60-104（1990）.MSC公司：第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，正式Asp。计算。2，编号1，60--104（1990；Zbl 0697.68023） 全文： 内政部
厄尔林·卢茨 数据精化的一些证明。 （英语） Zbl 0696.68028号 信息处理。莱特。 34，第4期，179-185（1990）.MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Lutz}，Inf.过程。莱特。34，第4号，179--185（1990；Zbl 0696.68028） 全文： 内政部
卡罗尔·摩根 数据优化中的辅助变量。 （英语） Zbl 0662.68014号 信息处理。莱特。 29，第6期，293-296（1988）.MSC公司：68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}，Inf.流程。莱特。29，第6号，293--296（1988；Zbl 0662.68014） 全文： 内政部