Theses most similar to those of author Patt, Boaz

A theory of clock synchronization (1994) read it

Time optimal self-stabilizing spanning tree algorithms

Aggarwal, Sudhanshu Madan (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

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

A verification framework for hybrid systems

Mitra, Sayan (2007)

  • 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

Distributed computation on unreliable radio channels

Newport, Calvin (Calvin Charles) (2009)

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

On building blocks for distributed systems

De Prisco, Roberto (2000)

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