Formal Modelling and Analysis of Parallel Snapshot Isolation and Non-Monotonic Snapshot Isolation

Koshkarev, Vadim
Master thesis
View/Open
The file is restricted (More info)
Year
2017
Permanent link
http://urn.nb.no/URN:NBN:no-60357

Metadata
Show metadata
Appears in the following Collection
Abstract
No abstract.