Theses most similar to Verifiable compilation of I/O automata without global synchronization (Tauber, Joshua A. (Joshua Allen); 2005) read it
- Advisors: Dilsun K. Kayna; Nancy Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisors: Dilsun K. Kayna; Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Stephen J. Garland
- Department of Electrical Engineering and Computer Science
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
- Advisors: Nancy A. Lynch; Stephen J. Garland
- Department of Electrical Engineering and Computer Science
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science