K. Lodaya;R. K. Shyamasundar
-;-
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems