Publication: Towards verifying eventually consistent applications
Program
KU Authors
Co-Authors
N/A
Publication Date
Language
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
Source
Publisher
Association for Computing Machinery
Subject
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