净KAT 34份文件引用(2014–2023) 软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。 相关软件： 狂热；VeriFlow；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；结合环与代数（16-XX）…
ProbNetKAT公司 7份文件引用(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；哈里森，罗布；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）