"Uniproc model, minimal"
include
"cos.cat"
acyclic
po-loc | fr | rf | co
as
uniproc