Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Handle fairness by ignoring crash loops and non-yield nodes not havin… #34
Closed
jp-fizzbee closed 5 months ago
…g the fair outlinks