Mathematizing C++ concurrency (2011)

First Author: Mark Batty (Co-Author)
Attributed to:  Multiprocessors: From Microarchitecture to Semantic Theory funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract