<> <> <> <> DIRECTORY SunRPC, ThSmartsSunRPC, ThrushSunRPC, Rope; ThSmartsSunRPCClient: CEDAR DEFINITIONS ~ { OPEN ThSmartsSunRPC; Substitution: SubstitutionType; ReportAction: ReportActionType; CheckIn: CheckInType; Progress: ProgressType; }...