A Semantic Approach to Enforce Correctness of Data Distribution Schemes

J. A. Bakker. A Semantic Approach to Enforce Correctness of Data Distribution Schemes. Comput. J., 37(7):561-575, 1994.

Abstract

Abstract is missing.