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
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen Checking protocol compatibility using Maude. (English) Zbl 1364.68282 Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009). MSC: 68Q85 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 255, 65--81 (2009; Zbl 1364.68282) Full Text: Link