TY - RPRT TI - A Formal Model For Real-Time Parallel Computation AU - Peter Hui AU - Satish Chikkagoudar PY - 2013 DO - 10.4204/eptcs.105.4 UR - https://arxiv.org/abs/1301.0040 ID - 1301.0040 ER -