Distributed Matching for Communicating Sequential Processes. - Jau-Yueh Wang; Shing-Tsaan Huang (J. Inf. Sci. Eng., 1989)