Observational determinism for concurrent program security0 PRE AI DOI:10.1109/csfw.2003.1212703原文链接原文求助分享收藏摘要 En