Theses most similar to those of author Bogdanov, Andrej, 1978-
Formal verification of simulations between I/O automata (2001) read it
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: 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
Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
Kuc̆an, Jakov (1997)
- Advisor: Albert R. Meyer
- Department of Mathematics
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Mechanical Engineering
- Advisors: Michael D. Ernst; Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science