Kordump/DirtyForksTLA

Dining philosophers problem. Chandy/Misra solution. TLA+