TY  - RPRT
TI  - A Formal Model for Real-Time Parallel Computation
AU  - Hui, Peter SY
AU  - Chikkagoudar, Satish
PY  - 2012
DO  - 10.4204/eptcs.105.4
UR  - https://www.osti.gov/biblio/1092033
ID  - 1092033
ER  -