Matchmaker: An Interface Specification Language for Distributed Processing.

Michael B. Jones, Richard F. Rashid, Mary R. Thompson

Browse the full POPL paper archive.