zbMATH中的参考文献，1标准件)

1. Hüttel，Hans:在（\pi）-微积分中使用会话类型来推理有界性（2020）
2. 费伦伯格，乌利；Křetínský，Jan；Legay，Axel；Traonouez，Louis Marie：定量规范的组成（2018年）
3. Gorrieri，Roberto:有限状态机的验证：分布式方法（2018）
4. 古兹曼，米歇尔；哈尔，斯特凡；珀奇，萨利姆；鲁埃达，卡米洛；瓦伦西亚，弗兰克·D.：空间和挤压代数中的信仰、知识、谎言和其他话语（2017）
5. Olatet，C.；Chiarugi，D.；Falaschi，M.；Hermith，D.：生化系统时空依赖性的证明理论观点（2016）
6. Chiarugi，Davide；Falaschi，Moreno；Hermith，Diana；Olatet，Carlos：生物化学系统中时空模式的验证（2015）
7. Dwornikowski，Dariusz；Stroninski，Andrzej；Brzezinïski，Jerzy:走向REST的过程微积分：当前艺术状态（2015）
8. Larsen，Kim G.；Mardare，Radu；Xue，Bingtian:并行加权逻辑（2015）
9. Acciai，Lucia；Boreale，Michele:通过行为类型决定无限状态pi演算中的安全性（2012）
10. Bae，Kyungmin；Meseguer，José：基于重写的线性时序重写逻辑模型检验器（2012）
11. Caires，Luís；Vieira，Hugo Torres:SLMC：根据动态空间逻辑规范对并发系统进行模型检查的工具（2012）ioport公司
12. 弗拉纳根，科马克（编辑）；克尼格，芭芭拉（编辑）：系统构造和分析的工具和算法。第18届国际会议，TACAS 2012，作为欧洲软件理论与实践联合会议的一部分，2012年3月24日至4月1日，爱沙尼亚塔林，2012年ETAPS。诉讼（2012年）
13. Gadducci，Fabio；Monreale，Giacoma Valentina:移动环境的分散图形实现（2011）
14. Acciai，Lucia；Boreale，Michele:pi演算中的空间和行为类型（2010）
15. Acciai，Lucia；Boreale，Michele；Zavattaro，Gianluigi:论空间逻辑与行为模拟的关系（2010）
16. Gori，Roberta；Levi，Francesca:基于抽象解释的生物环境时间特性验证（2010）
17. Lozes，Étienne；Villard，Jules:应用（\pi）-微积分的空间等式逻辑（2010）
18. 安德烈·布拉切利（Braccali），罗伯托·布鲁尼（Bruni），艾伯托（Alberto）鲁克·拉富恩特（Lluch Lafuente），阿尔伯托（Alberto）：名称修饰上下文的符号语义（2009）
19. Bruni，Roberto；Lluch Lafuente，Alberto；Montanari，Ugo：用Maude重写层次设计（2009）
20. 克林，巴特克：结构操作语义学中的双代数方法和模态逻辑（2009）