A Generic Temporal Consistency Model for Distributed Control Systems

Then we have an equation linking these new variables to our old variables: 180 x + 160 y = 800 + C+ – C– This constraint, which must be an equality, says that whatever we decide in