# Glossary

# Acknowledgement

# All-Or-Nothing Atomicity

# Atomicity

# Atomic Broadcast

# Before-Or-After Atomicity

# Blocking Concurrency

# Coordination
The process of managing dependencies between events

# External Time Consistency

# Fail-Stop Failure

# Lease

# Locks

# Linearizability

# Lock-Free Concurrency

# Logical Clock

# Monotonic Reads

# Operation
A transition from one state to another within a process [1].

# Partial Ordering

# Process
A logically single-threaded program [1].  Processes can do one thing at a time, which guarantees that the sequence of events within a process is totally ordered [2].  

# Read-After-Write Consistency

# Repeatable Reads

# Serializability

# Sequential Time Consistency

# Snapshot Isolation

# Total Ordering

# Transaction

# Two-Phase Commit

# Two-Phase Locking

# Vector Clock

# Wait-Free Concurrency

# References

1. Consistency Models, https://jepsen.io/consistency. 

2. Time, Clocks and the Ordering of Events in a Distributed System
Communications of the ACM 21, 7   (July 1978), 558-565.  Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed.  IEEE Press, 1984.