Publication: Towards verifying eventually consistent applications
Program
KU Authors
Co-Authors
N/A
Advisor
Publication Date
2014
Language
English
Type
Conference proceeding
Journal Title
Journal ISSN
Volume Title
Abstract
N/A
Description
Source:
Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014
Publisher:
Association for Computing Machinery
Keywords:
Subject
Computer engineering