Fundamental Concepts| jepsen.io
Amazon EC2 provides secure, resizable compute in the cloud, offering the broadest choice of processor, storage, networking, OS, and purchase model.| Amazon Web Services, Inc.
Distributed Erlang| www.erlang.org
An overview of smart contracts, focussing on their unique characteristics and limitations.| ethereum.org
Linearizability is one of the strongest single-object consistency models, and implies that every operation appears to take place atomically, in some order, consistent with the real-time ordering of those operations: e.g., if operation A completes before operation B begins, then B should logically take effect after A.| jepsen.io