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 cruci

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 cruci Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 2,09 MB Share Document on Facebook