Publications

[Extracted from DiVA, the publication database at KTH.]

Ekström, N.; Haridi, S. (2016):

A fault-tolerant sequentially consistent DSM with a compositional correctness proof.

[Conference paper] 18 May 2016 through 20 May 2016; 4th International Conference on Networked Systems, NETYS 2016 183-192 [Details]