Modular data-race-freedom guarantees in the promising semantics

  • Minki Cho
  • , Sung Hwan Lee
  • , Chung Kil Hur
  • , Ori Lahav

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Modular data-race-freedom guarantees in the promising semantics'. Together they form a unique fingerprint.

Keyphrases

Computer Science