Alexander Yakhnis
Original record- Institution
- Cornell University
- Year
- 1990
- Country
- United States
- MGP identifier
- 30450
Dissertation: Game Theoretic Semantics for Concurrent Programs and Their Specifications
Advisor 1
- Anil NerodeThe University of Chicago · 1956
Students 0
No students recorded in this snapshot.