Lahouij, Aida; Hamel, Lazhar; Graiet, Mohamed; el Ayeb, Béchir An Event-B based approach for cloud composite services verification. (English) Zbl 1458.68014 Formal Asp. Comput. 32, No. 4-6, 361-393 (2020). MSC: 68M11 68Q60 PDFBibTeX XMLCite \textit{A. Lahouij} et al., Formal Asp. Comput. 32, No. 4--6, 361--393 (2020; Zbl 1458.68014) Full Text: DOI
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