Safety and Hazard Analysis in Concurrent Systems

Shrisha Rao, Chen Zhang. Safety and Hazard Analysis in Concurrent Systems. In S. Q. Zheng, editor, International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA. pages 391-397, IASTED/ACTA Press, 2005.

Abstract

Abstract is missing.