Observational determinism for concurrent program security0 PRE AI DOI:10.1109/csfw.2003.1212703OriginalOriginal request for helpShareSaveAbstract En