Richard Lerner Specifying Objects of Concurrent Systems Degree Type: Ph.D. in Computer Science Advisor(s): Jeannette Wing Graduated: May 1991