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.))