Proving noninteraction: An optimized approach: R. Gerth and L. Shrira, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, November 1985.
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 20 May 2003.
论文官网地址：https://doi.org/10.1016/0167-9236(86)90071-0
