"Uniproc model" include "fences.cat" include "cos.cat" acyclic po-loc | fr | rf | co as sc-per-location