An Extendible Translation of BPEL to a Machine-verifiable Model.

John C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas

Browse the full SEKE paper archive.