Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari. Parallel real-time systems: formal specification. In Proceedings of the Fourth International on High-Performance Computing, HiPC 1997, Bangalore, India, 18-21 December, 1997. pages 186-191, IEEE Computer Society, 1997. [doi]
Abstract is missing.