Skip to content
@tlaplus-workshops

TLA+ Workshops

Learning TLA+

Pinned

  1. ewd998 ewd998 Public

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

    TLA 46 47

Repositories

Showing 1 of 1 repositories
  • ewd998 Public

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

    TLA 46 MIT 47 9 2 Updated Oct 3, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…