Запутался в нотации, может кто-нибудь просто объяснить что означает (как читать) эта нотация в спецификации:
hbi|Ci = hb|Ci

soi|Ci = so|Ci

Vi|Ci = V|Ci

Wi|Ci-1 = W|Ci-1


http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.8

от сюда:

Given these sets of actions C0, ... and executions E1, ... , every action in Ci must be one of the actions in Ei. All actions in Ci must share the same relative happens-before order and synchronization order in both Ei and E. Formally:

Ci is a subset of Ai

hbi|Ci = hb|Ci

soi|Ci = so|Ci


The values written by the writes in Ci must be the same in both Ei and E. Only the reads in Ci-1 need to see the same writes in Ei as in E. Formally:

Vi|Ci = V|Ci

Wi|Ci-1 = W|Ci-1