Theses most similar to On building blocks for distributed systems (De Prisco, Roberto; 2000) read it

A theory of clock synchronization

Patt, Boaz (1994)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Using simulation techniques to prove timing properties

Luchangco, Victor (1995)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Implementation and evaluation of an eventually-serializable data service

Cheiner, Oleg M. (Oleg Mikhail), 1975- (1997)

  • Advisor: Alex Allister Shvartsman
  • Department of Electrical Engineering and Computer Science
Read it

Revisiting the Paxos algorithm

De Prisco, Roberto (1997)

  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Formal verification of TCP and T/TCP

Smith, Mark Anthony Shawn, 1968- (1997)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Lower bounds in distributed computing

Fan, Rui, 1977- (2008)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Group communication as a base for a load-balancing replicated data service

Khazan, Roger Igor (1998)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Virtual stationary timed automata for mobile networks

Nolte, Tina Ann, 1979- (2009)

  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Topics in distributed computing : the impact of partial synchrony, and modular decomposition of algorithms

Welch, Jennifer (1988)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Practical Byzantine fault tolerance

Oom Temudo de Castro, Miguel, 1967- (2000)

  • Advisor: Barbara H. Liskov
  • Department of Electrical Engineering and Computer Science
Read it