Theses most similar to Virtual stationary timed automata for mobile networks (Nolte, Tina Ann, 1979-; 2009) 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

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

Formal verification of safety-critical hybrid systems

Livadas, Carolos (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

Towards a topological characterization of asynchronous complexity

Hoest, Gunnar Waaler, 1972- (1997)

  • Advisors: Nancy A. Lynch; Nir Shavit
  • 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

On building blocks for distributed systems

De Prisco, Roberto (2000)

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