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
Wong, Peter Y. H.; Gibbons, Jeremy Property specifications for workflow modelling. (English) Zbl 1216.68165 Sci. Comput. Program. 76, No. 10, 942-967 (2011). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{P. Y. H. Wong} and \textit{J. Gibbons}, Sci. Comput. Program. 76, No. 10, 942--967 (2011; Zbl 1216.68165) Full Text: DOI