×

找到7个文档（结果1-7）

最新 引文 关联
约塔姆·M·Y·费尔德曼。;康斯坦丁·埃纳;亚当·莫里森;诺姆·里内茨基;沙龙·肖姆

混乱的秩序：使用局部视图证明线性化能力。 （英语） Zbl 1497.68141号

Schmid，Ulrich（编辑）等人，第32届分布式计算国际研讨会，DISC 2018，美国路易斯安那州新奥尔良，2018年10月15日至19日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121，第23条，第21页（2018年）。
MSC公司：68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Y.Feldman}等人，LIPIcs——莱布尼茨国际程序。通知。121，第23条，第21页（2018；Zbl 1497.68141）
全文： DOI程序 arXiv公司
奥泽里，或;奥德·帕顿;诺姆·里内茨基;穆利·萨吉夫

使用副调制的连接抽象解释。 （英语） Zbl 1484.68051号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10145, 442-461 (2017).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Ozeri}等人，Lect。注释计算。科学。10145、442--461（2017；Zbl 1484.68051）
全文： DOI程序
哈吉特·阿提亚;阿列克谢·戈茨曼;汉斯、桑德普;诺姆·里内茨基

关于事务性内存一致性的编程语言观点。 （英语） Zbl 1323.68061号

2013年ACM分布式计算原理研讨会论文集，PODC'13，加拿大蒙特利尔，QC，2013年7月22日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2065-8）。309-318 (2013).
MSC公司：68甲15 64岁以下 第68页第17页 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{H.Attiya}等人，in：第32届ACM分布式计算原理研讨会论文集，PODC’13，加拿大魁北克省蒙特利尔，2013年7月22日至24日。纽约州纽约市：计算机协会（ACM）。309--318（2013；Zbl 1323.68061）
全文： DOI程序
Kreiker，J。;代表，T。;北卡罗来纳州里内茨基。;萨吉夫，M。;莱因哈德·威廉;E.雅哈夫。

有效无切口程序的跨过程形状分析。 （英语） Zbl 1383.68025号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，414-445（2013）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Kreiker}等人，Lect。注释计算。科学。7797、414--445（2013；Zbl 1383.68025）
全文： DOI程序
O'Hearn，Peter W。;诺姆·里内茨基;马丁·韦切夫。;埃兰·雅哈夫;格雷塔·约什

事后验证线性化能力。 （英语） Zbl 1315.68068号

第29届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集，2010年7月25-28日，瑞士苏黎世，PODC’10。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-888-9）。85-94 (2010).
MSC公司：68甲19 68号30 68问题85 68瓦10
PDF格式BibTeX公司 XML格式引用
\textit{P.W.O'Hearn}等人，in：第29届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集，PODC’10，瑞士苏黎世，2010年7月25-28日。纽约州纽约市：计算机协会（ACM）。85-94（2010年；Zbl 1315.68068）
全文： DOI程序
诺姆·里内茨基;约格·鲍尔;代表，托马斯;穆利·萨吉夫;莱因哈德·威廉

过程局部堆及其抽象的语义。 （英语） Zbl 1369.68154号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。296-309 (2005).
MSC公司：68号30 68第05页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{N.Rinetzky}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。296--309（2005年；Zbl 1369.68154）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段

软件