A Framework for Reasoning About Inherent Parallelism in Modern Object-Oriented Languages Presented by A. Craik (5-Jan-12) Research supported by funding.
A Framework for Reasoning About Inherent Parallelism in Modern Object-Oriented Languages