Matchmaker: An Interface Specification Language for Distributed Processing.

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

Published in: POPL (1985)

Keyphrases

distributed processing
specification language
formal specification
programming language
parallel processing
description language
software environment
local area network
distributed computing systems
general purpose
user interface
orders of magnitude
reinforcement learning