Encapsulate happens-before and sequenced-before encoding