Finding Test-and-Treatment Procedures Using Parallel Computation

Louis D. Duval, Robert A. Wagner, Yijie Han, Donald W. Loveland. Finding Test-and-Treatment Procedures Using Parallel Computation. J. Parallel Distrib. Comput., 4(3):309-318, 1987.

Abstract

Abstract is missing.