Akinori Yonezawa
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1978
- Country
- United States
- MGP identifier
- 112631
Dissertation: Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics
Advisor 1
- Carl Eddie HewittMassachusetts Institute of Technology · 1971
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Kenichi Asai | University of Tokyo | 1996 | 1 |