![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| fractional_permissions.pdf | 31-Jan-2006 10:13 | 62K | |
| MPC2000.pdf | 31-Jan-2006 10:13 | 139K | |
| local_reasoning_and_aliasing.pdf | 31-Jan-2006 10:13 | 145K | |
| separation_and_aliasing.pdf | 31-Jan-2006 10:13 | 160K | |
| fryingpan.pdf | 20-Mar-2006 19:12 | 171K | |
| permissions_paper.pdf | 31-Jan-2006 10:13 | 192K | |
| Observing_mental_models.pdf | 10-Mar-2013 11:35 | 242K | |
| Harrisrefinement.pdf | 20-Oct-2008 16:05 | 245K | |
| LIFO.pdf | 05-Apr-2012 17:29 | 299K | |
| bornatentcs.pdf | 31-Jan-2006 10:13 | 303K | |
| BCSFACSpaper.pdf | 19-Dec-2006 18:37 | 323K | |
| permission_accounting.pdf | 31-Jan-2006 10:13 | 403K | |
| rgsl1facs.pdf | 28-Feb-2012 13:46 | 432K | |
| abducingbarriers.pdf | 28-Feb-2012 12:53 | 496K | |
| japeboxes.pdf | 31-Jan-2006 10:13 | 558K | |
| japedisproof.pdf | 31-Jan-2006 10:13 | 567K | |
| SimpsonHarrisFACJ.pdf | 28-Feb-2012 13:48 | 607K | |
| aarhus.pdf | 31-Jan-2006 10:13 | 866K | |
| barrierlogic.pdf | 05-Apr-2012 17:30 | 968K | |
| NaturalDeductionandKripkedisproof.pdf | 20-Mar-2006 16:19 | 1.3M | |