乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；塔帕，拉坦·巴哈杜尔 生成更多偏序集N个. （英语） 兹伯利07578336 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 82-99 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。12062，82-99（2020；Zbl 07578336） 全文： 内政部 arXiv公司
戴维·诺曼（David A.Naumann）。 朝向堆和命令式lambdas的模式。 （英语） Zbl 1355.68040号 J.日志。阿尔盖布。方法计划。 第二部分第5期85号，1038-1056（2016）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛D.A.Naumann｝，J.日志。阿尔盖布。方法程序。85，第5号，第2部分，1038--1056（2016；Zbl 1355.68040） 全文： 内政部 arXiv公司
贾森·雅斯科尔卡；里达·凯德里 根据对通信潜力的分析缓解隐蔽通道。 （英语） Zbl 1348.68164号 西奥。计算。科学。 643, 1-37 (2016).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaskolka}和\textit{R.Khedri}，Theor。计算。科学。643，1--37（2016；Zbl 1348.68164） 全文： 内政部
何塞·努诺·奥利维拉；维克托·卡奇亚里·米拉尔多 “保持定义，改变类别”——一种基于状态的系统计算的实用方法。 （英语） Zbl 1344.68150号 J.日志。阿尔盖布。方法计划。 85，第4期，449-474（2016）.MSC公司：70年第68季度 18个C20 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}和\textit{V.C.Miraldo}，J.Log。阿尔盖布。方法程序。85，第4号，449--474（2016；Zbl 1344.68150） 全文： 内政部
朱，H。；何继峰；秦胜超；菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 （英语） Zbl 1347.68039号 正式Asp。计算。 27，第1期，133-166（2015）.MSC公司：68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，正式Asp。计算。27，第1号，133--166（2015；Zbl 1347.68039） 全文： 内政部 链接
伯恩哈德·莫勒；你好，托尼 探索CKA的接口模型。 （英语） Zbl 1432.68314号 Hinze，Ralf（编辑）等人，《程序构建的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 1-29 (2015).MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}和\textit{T.Hoare}，莱克特。注释计算。科学。9129，1--29（2015；Zbl 1432.68314） 全文： 内政部 链接