"Coherent RMO"

include "cos.cat"

let rfe = rf & ext
let fence = fencerel(F)

let rmo-order = fence | rfe | co | fr
acyclic rmo-order

let com = rf | co | fr
let coherence-order = po-loc | com
acyclic coherence-order