共 21 条
- [1] The Distributed ASCI Supercomputer Project [J]. Operating Systems Review (ACM), 2000, 34 (04): : 76 - 96
- [2] Barnat J., 2005, 4 INT WORKSH PAR DIS, P95
- [3] Barnat J, 2006, LECT NOTES COMPUT SC, V4144, P278, DOI 10.1007/11817963_26
- [4] Barnat J, 2006, LECT NOTES COMPUT SC, V4111, P259
- [5] Cappello F., 2007, 7 IEEE INT S CLUST C, P230
- [6] Ciardo G., 1998, INFORMS Journal on Computing, V10, P82, DOI 10.1287/ijoc.10.1.82
- [8] Graham Richard L, 2005, P 6 ANN INT C PAR PR, P228
- [9] Hammer M, 2007, LECT NOTES COMPUT SC, V4346, P51
- [10] The model checker SPIN [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 279 - 295