基于XYZE的SunOpenSolaris内核进程形式化描述与分析.PDFVIP

8 3 () Vo.l 8No. 3 2008 9 JOURNAL OF NAN JING NORMAL UN IVERSI Y ( ENG INEERING AND ECHNOLOGY EDI ION ) Sep, 2008 基于 XYZ /E 的 Sun Open Solaris内核 进程形式化描述与分析 1 1 2 王少将 , 张广泉, 吴国伟 ( 1. , 215006; 2. , 210024) [] Open Solaris, XYZ /E. , XYZ /AE XYZ /EE . , , . [] XYZ /E, , , , [ ] P311 [] A [