Modeling and analysis of communicating systems

Matteo Rossi. Modeling and analysis of communicating systems. Formal Asp. Comput., 33(2):297-298, 2021. [doi]