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