Hide metadata

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

dc.contributor.authorKoshkarev, Vadim
dc.date.accessioned2017-08-29T22:28:15Z
dc.date.issued2017
dc.identifier.citationKoshkarev, Vadim. Formal Modelling and Analysis of Parallel Snapshot Isolation and Non-Monotonic Snapshot Isolation. Master thesis, University of Oslo, 2017
dc.identifier.urihttp://hdl.handle.net/10852/57653
dc.description.abstracteng
dc.language.isoeng
dc.subject
dc.titleFormal Modelling and Analysis of Parallel Snapshot Isolation and Non-Monotonic Snapshot Isolationeng
dc.typeMaster thesis
dc.date.updated2017-08-29T22:28:15Z
dc.creator.authorKoshkarev, Vadim
dc.date.embargoenddate3017-05-23
dc.rights.termsDette dokumentet er ikke elektronisk tilgjengelig etter ønske fra forfatter. Tilgangskode/Access code A
dc.identifier.urnURN:NBN:no-60357
dc.type.documentMasteroppgave
dc.rights.accessrightsclosedaccess
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/57653/1/vadimk.pdf


Files in this item

Name:
vadimk.pdf
Size:
1.008Mb
Format:
application/
View/Open

Appears in the following Collection

Hide metadata