×

找到16个文档(结果1-16)

通过并发Haskell的MVar在pi-calculus中正确实现同步消息传递。 (英语) Zbl 07453965号

Dardha,Ornela(ed.)等人,第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录,EXPRESS/SOS 2020,在线,2020年8月31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32288-105(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

原子和上下文变量的名义统一。 (英语) Zbl 1462.68026号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第28条,第20页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

观察pi-calculus的成功。 (英语) Zbl 1428.68206号

Chiba,Yuki(编辑)等人,2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会,WPTE'15。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

call-by-nead和call-by-name多态型结石的上下文等效性(初步报告)。 (英语) Zbl 1428.68113号

Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).
MSC公司:68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

像素中的结构重写。 (英语) Zbl 1428.68205号

Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式时间内压缩项的同余闭包。 (英语) Zbl 1348.68085号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,227-242(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有参考单元格和期货的并发lambda演算的观察语义。 (英语) Zbl 1316.68034号

Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,313-337(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段