Index of /research/leaderless

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] SimpleDependencySetA..> 2016-05-24 17:38  5.3K  
[   ] Quorums.tla             2016-05-24 17:38  1.0K  
[   ] OrderRelations.tla      2016-02-13 23:25  1.8K  
[   ] ModularLeaderless.tla   2016-02-14 01:05  5.4K  
[   ] Maps.tla                2016-05-24 17:38  872   
[   ] GraphProcessing2.tla    2016-02-14 01:05   14K  
[   ] DiGraph.tla             2016-02-13 01:00  6.6K  
[   ] ConsensusInterface.tla  2016-02-13 01:00  794   
[   ] Consensus.tla           2016-05-24 18:09  736   
[   ] Common.tla              2016-02-13 01:00  720   
[   ] CStruct.tla             2016-02-13 23:25  1.8K