- Matteo Rossi. Modeling and analysis of communicating systems. Formal Asp. Comput., 33(2):297-298, 2021.
- Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei. Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Asp. Comput., 33(2):251-295, 2021.
- Wanling Xie, Huibiao Zhu, Qiwen Xu. A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Asp. Comput., 33(2):207-249, 2021.
- Wenbo Zhang 0004, Xian Xu 0001, Qiang Yin, Huan Long. On the Interactive Power of Higher-order Processes Extended with Parameterization. Formal Asp. Comput., 33(2):151-183, 2021.
- Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet. Modular verification of programs with effects and effects handlers. Formal Asp. Comput., 33(1):127-150, 2021.
- Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Asp. Comput., 33(1):3-25, 2021.
- Erik P. de Vink, Ana Cavalcanti. Editorial. Formal Asp. Comput., 33(1):1-2, 2021.
- Wim H. Hesselink. UNITY and Büchi automata. Formal Asp. Comput., 33(2):185-205, 2021.
- Davide G. Cavezza, Dalal Alrajeh, András György 0001. A Weakness Measure for GR(1) Formulae. Formal Asp. Comput., 33(1):27-63, 2021.
- Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot. Formal analysis of the compact position reporting algorithm. Formal Asp. Comput., 33(1):65-86, 2021.