scientific article; zbMATH DE number 6131561
From MaRDI portal
Publication:4904106
zbMath1257.68039MaRDI QIDQ4904106
Marc Shapiro, Carlos Baquero, Nuno Preguiça, Marek Zawirski
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed systems (68M14)
Related Items (12)
Strong eventual consistency of the collaborative editing framework WOOT ⋮ Proving the Safety of Highly-Available Distributed Objects ⋮ Sound verification procedures for temporal properties of infinite-state systems ⋮ From Sequential Specifications to Eventual Consistency ⋮ Permissionless and asynchronous asset transfer ⋮ Scalable eventually consistent counters over unreliable networks ⋮ Verifying the consistency of remote untrusted services with conflict-free operations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Relaxed data types as consistency conditions ⋮ Categorical specification and implementation of replicated data types ⋮ Asynchronous reconfiguration with Byzantine failures
This page was built for publication:
