Modeling Java virtual threads issue in TLA+

This is a TLA+ model that illustrates the Java 21 virtual threads deadlock issue mentions in the Netflix Tech Blog post: https://netflixtechblog.com/java-21-virtual-threads-dude-wheres-my-lock-3052540e231d

For more details on this model, see my blog post: https://surfingcomplexity.blog/2024/08/01/reproducing-a-java-21-virtual-threads-deadlock-scenario-with-tla/