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
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro Session types for safe web service orchestration. (English) Zbl 1283.68065 J. Log. Algebr. Program. 82, No. 8, 282-310 (2013). MSC: 68M11 PDFBibTeX XMLCite \textit{J. Michaux} et al., J. Log. Algebr. Program. 82, No. 8, 282--310 (2013; Zbl 1283.68065) Full Text: DOI
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen A generic framework for \(n\)-protocol compatibility checking. (English) Zbl 1245.68028 Sci. Comput. Program. 77, No. 7-8, 870-886 (2012). MSC: 68M14 68N01 68Q85 PDFBibTeX XMLCite \textit{F. Durán} et al., Sci. Comput. Program. 77, No. 7--8, 870--886 (2012; Zbl 1245.68028) Full Text: DOI