On the Necessity of Formal Models for Real-Time Parallel Computations.

Stefan D. Bruda, Selim G. Akl

Browse the full PDPTA paper archive.