Resolving concurrency in mutable systems

Find the constraints around your problem.

See all the end states and see if it is independent of each process resolving.

We can Serialize access to shared state in concurrent systems. To separate procedure sets which need to be executed synchronously and asynchronously.