Technical Report Number
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assignments in parallel to belief nodes in the Reason Maintenance System (RMS) presented by ,. We examine a previously described algorithms by  which fails to correctly detect termination of the status assignments. Under Petrie's algorithm, termination may go undetected an in certain circumstances (namely the existence of an unsatisfiable circularity) a false detection may occur. We present an algorithm that corrects these problems.
Fulcomer, Rosanne M. and Ball, William E., "Correct Parallel Status Assignments for the Reason Maintenance System" Report Number: WUCS-88-26 (1989). All Computer Science and Engineering Research.