Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: rjoshi.org

• Computing
• Computer architecture
• Concurrent computing
• Formal methods
• Theoretical computer science
• Cache coherency
• Instruction set architectures
• Concurrency
• TLA+
• Model checking
• Cache coherence
• Specification language

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: lamport.azurewebsites.net

• Concurrent computing
• Distributed algorithms
• Concurrency
• Mathematics
• Computing
• Algorithm
• Mathematical logic
• Theoretical computer science
• Distributed computing
• Deadlock
• Chandy-Lamport algorithm
• Virtual synchrony

Weak read/write Registers⋆ Gadi Taubenfeld The Interdisciplinary Center, P.O.Box 167, Herzliya 46150, Israel Abstract. In [14], Lamport has defined three classes of shared registers which

Source URL: www.faculty.idc.ac.il

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

Source URL: www-inst.eecs.berkeley.edu

• Linguistics
• Language
• Four-square cipher
• Culture
• Word square

  Lamport  Clocks   Tom  Anderson   Last  Time  

Source URL: courses.cs.washington.edu

Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b

Source URL: lamport.azurewebsites.net

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

Source URL: people.eecs.berkeley.edu

• Linguistics
• Language
• Four-square cipher
• Culture
• Word square

  Primary  Backup  and   Lamport  Clocks   Tom  Anderson  

Source URL: courses.cs.washington.edu

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.

Source URL: www.latex-project.org

The LATEX 2ε Sources Johannes Braams David Carlisle Alan Jeffrey Leslie Lamport Frank Mittelbach

Source URL: www.latex-project.org