add correctly executs multiprocess programs

Original Definition about Sequential consistency