/chapter/6/resources/images/counters/
../
decrement-operation.png
increment-and-decrement-operations-commute.png
increment-operation.png
operation-based-increment-and-decrement-counter.png
operation-based-increment-only-counter.png
state-based-increment-and-decrement-counter-correct-lattice.png
state-based-increment-and-decrement-counter-correct.png
state-based-increment-and-decrement-counter-incorrect-lattice.png
state-based-increment-and-decrement-counter-incorrect.png
state-based-increment-only-counter-correct.png
state-based-increment-only-counter-incorrect.png
