1. Lecture Notes in Computer Science;J Aldrich,2004
2. Bocchino, R.: An effect system and language for deterministic-by-default parallel programming, 2010. Ph.D. thesis, University of Illinois at Urbana-Champaign (2010)
3. Lecture Notes in Computer Science;RL Bocchino Jr,2011
4. Bocchino, R., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for deterministic parallel Java. In: OOPSLA, pp. 97–116 (2009)
5. Bocchino, R., Aldrich, J.: Reference groups for local uniqueness. Technical report, CMU (to appear)