Reasoning about shared-variable concurrency: interactions between research threads (2019)

First Author: Jones, C B
Attributed to:  Trustworthy Ambient Systems: Resource Constrained Ambience funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report

Volume: CS-TR-1531