Technical Terms Memory Model: A formal specification delineating the ordering and visibility of operations on memory, particularly in a concurrent computing environment.