Detecting concurrently executed pairs of statements using an adapted MHP algorithm

Zhengqiang Chen, Baowen Xu, Huiming Yu. Detecting concurrently executed pairs of statements using an adapted MHP algorithm. In SIGAda. pages 107-114, 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: