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
Wos®
Scopus®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-84969941337
Wos: WOS:000390307300002
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service