Paritosh Kulin Pandya
Original record- Institution
- University of Mumbai
- Year
- 1987
- Country
- India
- MGP identifier
- 193789
Dissertation: P-A Logic: compositional proof of concurrent programs
Advisor 1
- Mathai JosephUniversity of Cambridge · 1968
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Narayan Kumar Krishnan | Tata Institute of Fundamental Research | 1997 | 2 |