Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments | Publicación