K. Mani Chandy Writing Correct Parallel Programs. 630-634 1993 IPPS db/conf/ipps/ipps1993.html#Chandy93