Static Serializability Analysis for Causal Consistency (extended version)

Download
Full text (PDF, 1020.Kb)
Thumbnail
Open access
Author
Brutschy, Lucas
Dimitrov, Dimitar
Müller, Peter
Vechev, Martin
Show all
Date
2018-04-15
Type
    Report
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000258176
Publication status
published
External links
Search via SFX
Journal / series
Technical Report
Publisher
ETH Zurich
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
ETH Bibliography
yes
Altmetrics