Stem mhp$ (all stems)
2 papers:
SIGAda-2001-ChenBY #adaptation #algorithm #detection #using- Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.
ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #java #performance #source code- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.










