Noninterference for concurrent programs and thread systems-猫眼课题宝

DOI：

10.1016/s0304-3975(02)00010-5

发表时间：

2002-06

期刊：

Theor. Comput. Sci.

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

G. Boudol;I. Castellani