On 26.07.2018 18:41, Maneet Bansal wrote:
why do you expect your specification to deadlock? If both of the
processes fail to acquire their respective second fork, each
process will still repeatedly execute its while loops (they
You probably want to read up on the semantics of "with"  to
better understand the specification given in learntla.com and why
it deadlocks (Next not being enabled).
Hope this helps