朗格莱,塞尔盖伊;阿兰·施密特;Jean-Bernard斯特凡尼 用钝化表征计算中的上下文对等。 (英语) Zbl 1251.68160号 Inf.计算。 209,第11期,1390-1433(2011).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lenglet}等人,《信息计算》。209,11号,1390--1433(2011;Zbl 1251.68160) 全文: 内政部 哈尔
朗格莱,塞尔盖伊;阿兰·施密特;Jean-Bernard斯特凡尼 豪的钝化计算方法。 (英语) Zbl 1254.68174号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710448-462(2009)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Lenglet}等人,Lect。票据计算。科学。5710448-462(2009年;Zbl 1254.68174) 全文: 内政部 链接