共 50 条
- [2] Automatic Verification of Determinism for Structured Parallel Programs [J]. STATIC ANALYSIS, 2010, 6337 : 455 - 471
- [3] On determinism in modal transition systems [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (41) : 4026 - 4043
- [6] The Case for Determinism in Database Systems [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2010, 3 (01): : 70 - 80
- [7] Sequential and maximally parallel multiset rewriting: reversibility and determinism [J]. Natural Computing, 2012, 11 : 95 - 106