Bagrodia, Rajive
Committee Member — 2 thesises
- Sivilotti, Paolo A. G. — A method for the specification, composition, and testing of distributed object systems (1998, Dissertation (Ph.D.))
- Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))