Декларативные модели памяти: SC, COH и RA

Введение в декларативные модели памяти. Декларативные модели sequential consistency (SC), coherence (COH), release/acquire (RA). Связь между декларативными и операционными моделями. Доказательство соответствия операционной и декларативной модели SC.