Towards Formally Specifying and Verifying Transactional Memory – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Biological Psychiatry (ISSN 0006-3223) is published semimonthly by Elsevier Inc., 360 Park Avenue South, New York, NY 10010-1710