hlf_2016_participating_laureates.indd

First Page		Document Content
Date: 2016-08-01 03:42:27 Turing Award laureates Turing Award Nevanlinna Prize Robert Tarjan John Hopcroft Barbara Liskov Fields Medal Leslie Lamport Stephen Cook Alan Turing Tony Hoare Turing		hlf_2016_participating_laureates.indd Add to Reading List Source URL: www.heidelberg-laureate-forum.org Download Document from Source Website File Size: 1,16 MB Share Document on Facebook

	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. DocID: 1xUq9 - View Document
	Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT DocID: 1xTYr - View Document
	The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t DocID: 1vaH9 - View Document
	The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t DocID: 1u0Sj - View Document
	Standard Document Classes for LATEX version 2e∗ Copyright (Cby Leslie Lamport Copyright (Cby Frank Mittelbach Johannes BraamsThis file is maintained by the LATEX Project team. DocID: 1tERZ - View Document