Modular Typestate Checking for Concurrent Java Programs

Assuming that other refs are reachable from other threads… We must assume concurrent modification! // ERROR 4 – Using Mutual Exclusion void shareWithNewThread ...