Theses most similar to Formal verification of TCP and T/TCP (Smith, Mark Anthony Shawn, 1968-; 1997) read it

Simulation of timed input/output automata

Mavrommatis, Panayiotis P (2006)

  • Advisors: Dilsun K. Kayna; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
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

Revisiting the Paxos algorithm

De Prisco, Roberto (1997)

  • Advisor: Nancy 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

On building blocks for distributed systems

De Prisco, Roberto (2000)

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

Properties of link reversal algorithms for routing and leader election

Radeva, Tsvetomira (2013)

  • Advisor: Nancy 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