The Cise Tool: Proving Weakly-Consistent Applications Correct

AuthID
P-00K-GRA
5
Author(s)
Najafzadeh, M
·
Gotsman, A
·
Yang, H
·
Shapiro, M
Document Type
Proceedings Paper
Year published
2016
Published
in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016
Conference
2Nd Workshop on the Principles and Practice of Consistency for Distributed Data (Papoc), Date: APR 18, 2016, Location: London, ENGLAND, Sponsors: Assoc Comp Machinery
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84969941337
Wos: WOS:000390307300002
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.