David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur. Recursive Decomposition of Progress Graphs. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 23-31, IEEE Computer Society, 2009. [doi]
Abstract is missing.