Index of /research/leaderless

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