CAStest: obj mutex: var integer Process: running: var boolean doIt:< res: var integer P1: obj Process doIt::< P2: obj Process doIt::< P3: obj Process doIt::< run: