共 11 条
- [1] BAKKERS A, 1999, DISTRIBUTED REAL TIM
- [2] CHALMERS K, 2005, MOBILITY JCSP NEW MO
- [3] Hoare C.A.R., 1985, PRENTICE HALL INT SE
- [4] KUMAR R, 2003, 36 ANN IEEE ACM INT
- [5] MAY D, 2007, PROCESSES ARCHITECTU
- [6] PERICAS M, 2007, P 16 INT C PAR ARCH, P13
- [7] RAMANATHAN RM, INTEL MULTICORE PROC
- [8] RUTTEN MJ, 2002, INT PAR DISTR PROC S
- [9] SHOBAKI ME, 1998, VERIFICATION EMBEDDE
- [10] STOLBERG HJ, 2003, DES AUT TEST EUR C E