Parallel real-time systems: formal specification.

Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari

Browse the full HiPC paper archive.