On the Necessity of Formal Models for Real-time Parallel Computations

By Stefan D. Bruda and Selim G. Akl, in Parallel Processing Letters, 11 (2001). A preliminary version is available.