Examples showing difference between choice of shared state abstraction