Skip to main navigation Skip to search Skip to main content

Mathematizing C++ concurrency

  • Mark Batty*
  • , Scott Owens
  • , Susmit Sarkar
  • , Peter Sewell
  • , Tjark Weber
    • *Corresponding author for this work

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

Fingerprint

Dive into the research topics of 'Mathematizing C++ concurrency'. Together they form a unique fingerprint.
Sort by

Computer Science