Back to Results
First PageMeta Content
Computing / Software engineering / Concurrency control / Concurrency / Java platform / Concurrent computing / Communication / Synchronization / U3 / Java memory model / Vienna U-Bahn / Java class file


Extended Sequential Reasoning for Data-Race-Free Programs
Add to Reading List

Document Date: 2011-05-07 02:09:33


Open Document

File Size: 383,65 KB

Share Result on Facebook
UPDATE