On the Interactive Power of Higher-order Processes Extended with Parameterization Wenbo ZhangXian XuHuan Long Original Article 08 December 2020 Pages: 151 - 183
UNITY and Büchi automata Wim H. Hesselink Original Article Open access 10 February 2021 Pages: 185 - 205
A process calculus BigrTiMo of mobile systems and its formal semantics Wanling XieHuibiao ZhuQiwen Xu Original Article 06 March 2021 Pages: 207 - 249
Model-based Safety Assessment of a Triple Modular Generator with xSAP Marco BozzanoAlessandro CimattiCristian Mattarei Original Article 06 April 2021 Pages: 251 - 295
Modeling and analysis of communicating systems Matteo Rossi Book Review 11 March 2021 Pages: 297 - 298