?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10703-010-0110-0&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Alessandro&rft.aulast=Lapadula&rft.au=Lapadula%2C+Alessandro&rft.issue=2&rft.atitle=A+WSDL-based+type+system+for+asynchronous+WS-BPEL+processes&rft.pages=119-157&rft.issn=0925-9856&rft.volume=38&rft.date=2011&rft.title=Formal+Methods+in+System+Design&rft.genre=article