Rossi, Matteo Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems. (English) Zbl 1460.00021 Formal Asp. Comput. 33, No. 2, 297-298 (2021). MSC: 00A17 68-02 68M10 68M12 68M14 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{M. Rossi}, Formal Asp. Comput. 33, No. 2, 297--298 (2021; Zbl 1460.00021) Full Text: DOI
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Jones, David; Mattarei, Cristian Model-based safety assessment of a triple modular generator with xSAP. (English) Zbl 1511.68149 Formal Asp. Comput. 33, No. 2, 251-295 (2021). MSC: 68Q60 93-10 93C83 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Formal Asp. Comput. 33, No. 2, 251--295 (2021; Zbl 1511.68149) Full Text: DOI
Xie, Wanling; Zhu, Huibiao; Xu, Qiwen A process calculus BigrTiMo of mobile systems and its formal semantics. (English) Zbl 1511.68189 Formal Asp. Comput. 33, No. 2, 207-249 (2021). MSC: 68Q85 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{W. Xie} et al., Formal Asp. Comput. 33, No. 2, 207--249 (2021; Zbl 1511.68189) Full Text: DOI
Hesselink, Wim H. UNITY and Büchi automata. (English) Zbl 1511.68182 Formal Asp. Comput. 33, No. 2, 185-205 (2021). MSC: 68Q85 03B44 03D05 68Q60 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Formal Asp. Comput. 33, No. 2, 185--205 (2021; Zbl 1511.68182) Full Text: DOI
Zhang, Wenbo; Xu, Xian; Yin, Qiang; Long, Huan On the interactive power of higher-order processes extended with parameterization. (English) Zbl 1511.68190 Formal Asp. Comput. 33, No. 2, 151-183 (2021). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{W. Zhang} et al., Formal Asp. Comput. 33, No. 2, 151--183 (2021; Zbl 1511.68190) Full Text: DOI