![Applied mathematics / Program logic / Substructural logic / Formal methods / Formal verification / Hoare logic / Correctness / Communications protocol / Separation logic / Theoretical computer science / Mathematics / Logic in computer science Applied mathematics / Program logic / Substructural logic / Formal methods / Formal verification / Hoare logic / Correctness / Communications protocol / Separation logic / Theoretical computer science / Mathematics / Logic in computer science](https://www.pdfsearch.io/img/2e7f4dc6c32c2c8b1360a49d506ca746.jpg) Date: 2014-06-02 05:37:12Applied mathematics Program logic Substructural logic Formal methods Formal verification Hoare logic Correctness Communications protocol Separation logic Theoretical computer science Mathematics Logic in computer science | | Formal Verification of Distributed Programs using Session Types and Coq Morten Fangel Jensen Advisors: Jesper Bengtson and Fabrizio Montesi Submitted: June 2014Add to Reading ListSource URL: sevengoslings.netDownload Document from Source Website File Size: 398,00 KBShare Document on Facebook
|