Matchmaker : an interface specification language for distributed processing

Computer Science Department