Report - A Secure Compiler for Session Abstractions - Inriapauillac.inria.fr/~leifer/articles/corin-et-al-secure... · 2008-03-02 · 1 Session types for secure distributed programming Programming

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form