生物-PEPA 97篇文献引用(2008–2024) 软件作者： Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基，蒂尔；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
新HOPLA 引用于3份文件(2004–2014) 软件作者： 格林·温斯克尔（Glynn Winskel）；弗朗西斯科·扎帕·纳德利 相关软件： HOPLA公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TVT电视 引用于3份文件(2004–2022) 软件作者： 维塔宁，海基；亨利·汉森；安蒂·瓦尔马里；朱哈·尼米宁；蒂莫·埃尔基拉 相关软件： mCRL2；CADP；西尔万… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）