Sign in

Brief Announcement: Generalising Concurrent Correctness to Weak Memory.

Simon DohertyBrijesh DongolHeike WehrheimJohn Derrick
Published in: DISC (2018)
Keyphrases