Parallel real-time systems: formal specification

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]

Authors

Alok N. Choudhary

This author has not been identified. Look up 'Alok N. Choudhary' in Google

Vijay Gehlot

This author has not been identified. Look up 'Vijay Gehlot' in Google

Bhagirath Narahari

This author has not been identified. Look up 'Bhagirath Narahari' in Google