Publication: Towards verifying eventually consistent applications
Program
KU Authors
Co-Authors
N/A
Date
Language
Embargo Status
N/A
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
BAKILACAK
Source
Publisher
Association for Computing Machinery
Keywords
Computer engineering
Citation
Has Part
Source
Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014
Book Series Title
Edition
DOI
10.1145/2596631.2596638
item.page.datauri
Link
Rights
N/A