An Extended PRAM-NUMA Model of Computation for TCF Programming | IEEE Conference Publication | IEEE Xplore