@misc{indiciae78e7d94d0439, title = {A Formal Model For Real-Time Parallel Computation}, author = {Peter Hui and Satish Chikkagoudar}, year = {2013}, doi = {10.4204/eptcs.105.4}, url = {https://arxiv.org/abs/1301.0040}, note = {Source identifier: 1301.0040} }