Reducing Opacity to Linearizability: A Sound and Complete Method (2016)

First Author: Armstrong Alasdair

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/1610.01004

Type: Journal Article/Review

Parent Publication: arXiv e-prints