Lanotte, Ruggero; Merro, Massimo; Tini, Simone A probabilistic calculus of cyber-physical systems. (English) Zbl 1497.68346 Inf. Comput. 279, Article ID 104618, 30 p. (2021). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Inf. Comput. 279, Article ID 104618, 30 p. (2021; Zbl 1497.68346) Full Text: DOI arXiv
Lanotte, Ruggero; Merro, Massimo; Tini, Simone Equational reasonings in wireless network gossip protocols. (English) Zbl 1408.68030 Log. Methods Comput. Sci. 14, No. 3, Paper No. 24, 47 p. (2018). Reviewer: Tiit Riismaa (Tallinn) MSC: 68M12 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 24, 47 p. (2018; Zbl 1408.68030) Full Text: DOI arXiv
Lanotte, Ruggero; Merro, Massimo; Tini, Simone Compositional weak metrics for group key update. (English) Zbl 1441.68146 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Lanotte} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017; Zbl 1441.68146) Full Text: DOI