![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| _vti_cnf/ | 16-Feb-2009 15:41 | - | |
| bryndin_atomicity.pdf | 16-Feb-2009 21:56 | 34K | |
| bryndin_structuring_specs.pdf | 23-Feb-2009 10:55 | 36K | |
| chen_paper1.pdf | 16-Feb-2009 23:49 | 26K | |
| chen_paper2.pdf | 16-Feb-2009 23:49 | 30K | |
| holbrook_Assignment 1.pdf | 16-Feb-2009 10:42 | 15K | |
| huang_formal.pdf | 16-Feb-2009 10:29 | 18K | |
| huang_thread.pdf | 16-Feb-2009 10:29 | 22K | |
| mahmoud_Paper 1.pdf | 16-Feb-2009 10:35 | 8.7K | |
| mahmoud_Paper 2.pdf | 16-Feb-2009 10:38 | 7.6K | |
| rui_paper 1.pdf | 16-Feb-2009 10:31 | 24K | |
| rui_paper 2.pdf | 16-Feb-2009 10:31 | 24K | |