LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

ewd998

Distributed termination detection on a ring, due to Shmuel Safra:

OtherEmerging

Stars

—

Forks

—

Contributors

3

Last push

41mo ago

Recent commits

Latest commits.

v04a02: Sanity-check with an Alias that nodes deactivate simultaneously
10e93b7Markus Alexander Kuppe61mo ago
v04a01: Let multiple (logical processes) nodes deactivate at the same time/in the same step.
b2149d9Markus Alexander Kuppe61mo ago
v03e01: AsyncTerminationDetection => SyncTerminationDetection
8cae5a2Stephan Merz61mo ago
v03d08: Inductive invariant IInv
d9934d5Markus Alexander Kuppe61mo ago
v03d07b: Towards an inductive invariant (Checking IInv Apalache)
0dba331Markus Alexander Kuppe

51mo ago

v03d07a: Towards an inductive invariant (Checking IInv Apalache)

7d194ebMarkus Alexander Kuppe61mo ago

v03d06: Towards an inductive invariant (Checking IInv TLC)

b740100Markus Alexander Kuppe61mo ago

v03d05: Towards an inductive invariant (Fold from CM)

87e8657Markus Alexander Kuppe61mo ago

Top contributors

Builders behind this project.