Part of the Physical Sciences and Mathematics Commons
A unified formal specification and analysis of the new Java memory models, Varsha Awhad, Charles Wallace Michigan Tech Publications
Link
Advanced Search