afonsonf

3 ms·

1. 1.▲
   TLA+ specification of the Ceph consensus algorithm(github.com)

   3 points by afonsonf 6y ago|0 comments
2. 2.▲
   by afonsonf 6y ago

   Hi, > wonder whether there will be an update to map those children to the names of the actions taken in the spec This can be done by, for example, adding a variable to the spec with the name of the transition, lets say a variable named l