![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| valid-states.png | 2020-11-15 16:16 | 7.9K | |
| valid-states.graffle | 2020-11-15 16:17 | 25K | |
| tx-states1.png | 2019-11-14 11:23 | 54K | |
| tx-states1.graffle | 2019-11-14 11:23 | 8.1K | |
| tx-states1-small.png | 2019-11-14 11:32 | 34K | |
| tx-exec1.png | 2019-07-31 09:41 | 28K | |
| tx-exec1.graffle | 2019-07-31 09:41 | 6.9K | |
| tx-exec1.fig | 2012-10-02 14:12 | 1.4K | |
| tx-exec1-small.png | 2019-07-31 15:45 | 22K | |
| tx-exec.png | 2012-10-02 14:12 | 12K | |
| tx-exec.fig | 2012-10-02 14:12 | 1.2K | |
| tx-exec-small.png | 2016-03-05 22:47 | 20K | |
| trans-states.png | 2019-02-15 18:28 | 16K | |
| trans-states.fig | 2019-02-15 18:28 | 1.2K | |
| trans-states-small.png | 2019-02-15 18:28 | 6.0K | |
| trans-consis.png | 2019-02-15 18:28 | 7.7K | |
| trans-consis.fig | 2019-02-15 18:28 | 1.1K | |
| trans-consis-small.png | 2019-02-15 18:28 | 3.8K | |
| prec-graph.png | 2019-11-20 11:03 | 12K | |
| prec-graph.graffle | 2019-11-20 11:03 | 7.4K | |
| prec-graph-small.png | 2019-11-20 11:04 | 4.4K | |
| pg4.png | 2019-02-15 18:28 | 6.4K | |
| pg4.fig | 2019-02-15 18:28 | 743 | |
| pg4-small.png | 2019-02-15 18:28 | 2.5K | |
| pg3.png | 2019-02-15 18:28 | 6.4K | |
| pg3.fig | 2019-02-15 18:28 | 743 | |
| pg3-small.png | 2019-02-15 18:28 | 2.5K | |
| pg2.png | 2019-02-15 18:28 | 3.6K | |
| pg2.fig | 2019-02-15 18:28 | 529 | |
| pg2-small.png | 2019-02-15 18:28 | 1.7K | |
| pg1.png | 2019-02-15 18:28 | 2.8K | |
| pg1.fig | 2019-02-15 18:28 | 395 | |
| pg1-small.png | 2019-02-15 18:28 | 1.3K | |
| auth-graph.png | 2019-02-15 18:28 | 11K | |
| auth-graph.fig | 2019-02-15 18:28 | 1.5K | |
| auth-graph-small.png | 2019-02-15 18:28 | 10K | |
