Automated inference of atomic sets for safe concurrent execution

Peter Dinges, Minas Charalambides, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Automated inference of atomic sets for safe concurrent execution'. Together they form a unique fingerprint.

Engineering & Materials Science