Predicate Transfer and Timeout in Message Passing Systems

Arthur J. Bernstein. Predicate Transfer and Timeout in Message Passing Systems. Inf. Process. Lett., 24(1):43-52, 1987.

Abstract

Abstract is missing.