![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| disk-paxos.ps.gz | 2002-08-14 09:35 | 124K | |
| jacm85.pdf | 2002-08-13 17:51 | 2.1M | |
| paxos-simple.ps.Z | 2002-08-21 13:04 | 44K | |
| paxos.ps.gz | 2002-08-21 13:03 | 264K | |
| simple.ps | 2001-11-06 16:48 | 109K | |
| tocs-fast-mutex.ps | 2002-08-15 13:04 | 226K | |