Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe A modular framework for verifying versatile distributed systems. (English) Zbl 1435.68191 J. Log. Algebr. Methods Program. 108, 24-46 (2019). MSC: 68Q60 68M14 PDFBibTeX XMLCite \textit{F. Chevrou} et al., J. Log. Algebr. Methods Program. 108, 24--46 (2019; Zbl 1435.68191) Full Text: DOI Link
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe On the diversity of asynchronous communication. (English) Zbl 1345.68022 Formal Asp. Comput. 28, No. 5, 847-879 (2016). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{F. Chevrou} et al., Formal Asp. Comput. 28, No. 5, 847--879 (2016; Zbl 1345.68022) Full Text: DOI HAL