Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments.

Nicolas C. Nicolaou, Antonio Fernndez Anta, Chryssis Georgiou

Browse the full NCA paper archive.