工资制造者，贾纳;内特·福斯特;托比亚斯·卡佩;德克斯特·科赞;朱里安·罗特;亚历山德拉·席尔瓦 并发NetKAT。建模和分析有状态的并发网络。 （英语） Zbl 1528.68259号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).MSC公司：68问题85 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Wagemaker}等人，Lect。注释计算。科学。13240575--602（2022；Zbl 1528.68259） 全文： 内政部 arXiv公司
内特·福斯特;德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;雷特布拉特，马克;亚历山德拉·席尔瓦 概率NetKAT。 （英语） Zbl 1335.68027号 Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632282-309（2016）。MSC公司：68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Foster}等人，Lect。注释计算。科学。9632，282--309（2016；Zbl 1335.68027） 全文： 内政部
德克斯特·科赞 NetKAT–网络验证的正式系统。 （英语） Zbl 1453.68051号 雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。注释计算。科学。8858, 1-18 (2014).MSC公司：68号30 68M10个 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}，莱克特。注释计算。科学。8858，1-18（2014；Zbl 1453.68051） 全文： 内政部
Anderson、Carolyn Jane;内特·福斯特;阿琼·古哈;Jeannin、Jean-Baptiste;德克斯特·科赞;科尔·施莱辛格;大卫·沃克 Netkat，网络的语义基础。 （英语） 兹比尔1284.68100 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。113-126（2014年）。MSC公司：68甲15 60年第68季度 第68页第15页 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Anderson}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。113-126（2014年；Zbl 1284.68100） 全文： 内政部