Report - Specifying and Verifying Web Transactions. Suzuki et al. (Eds.): FORTE 2008, LNCS 5048, pp. 149–168, 2008. ... deadlock. However, partial effects have been exposed to the outside.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form