Modular Relaxed Dependencies in Weak Memory Concurrency (2020)

First Author: Paviotti, M.
Attributed to:  CapC: Capability C semantics, tools and reasoning funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract