GitHub repository: nano-o/Distributed-termination-detection
Primary language: HTML
Created: 2018-07-09T17:23:09Z
Description: TLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache