Browse by Committee Member
Number of items: 2. 1998Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/z89g-gm27. https://resolver.caltech.edu/CaltechETD:etd-01252008-095244 1995Hofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/G620-GG65. https://resolver.caltech.edu/CaltechETD:etd-10112007-083903 |