Mutual Exclusion

• Actions A,B exclusive (at a level) if

  • A deletes B’s precond, or
  • B deletes A’s precond, or
  • A & B have inconsistent preconds

• Propositions P,Q inconsistent (at a level) if

  • all ways to achive P exclude all ways to achieve Q

Previous slide

Next slide

Back to first slide

View graphic version