约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默(Jan Schwinghammer) 带有参考单元格和期货的并发lambda演算的观察语义。 (英语) Zbl 1316.68034号 Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,313-337(2007)。MSC公司:68甲15 68甲18 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《电子》。注释Theor。计算。科学。173、313--337(2007;Zbl 1316.68034) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 决定在无限非严格数据结构上包含集合常量。 (英语) Zbl 1146.68353号 西奥。通知。申请。 41,第2期,225-241(2007).MSC公司:68甲18 03B40型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人,Theor。通知。申请。41,第2号,225--241(2007;Zbl 1146.68353) 全文: 内政部 Numdam编号 欧洲DML 链接