Theses most similar to those of author Lim, Hongping
Translating timed I/O automata specifications for theorem proving in PVs (2006) read it
- Advisors: Dilsun K. Kayna; Nancy Lynch
- Department of Electrical Engineering and Computer Science
Verifiable compilation of I/O automata without global synchronization
Tauber, Joshua A. (Joshua Allen) (2005)
- Advisor: Nancy A. Lynch
- 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
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisors: Nancy A. Lynch; Stephen J. Garland
- Department of Electrical Engineering and Computer Science
- Advisor: Stephen J. Garland
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science