First Page | Document Content | |
---|---|---|
Date: 2017-11-17 18:47:23 | Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruciAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 2,09 MBShare Document on Facebook |