Naumovich, GAvrunin, GSClarke, LA2024-04-262024-04-261999https://hdl.handle.net/20.500.14394/10088An efficient algorithm for computing MHP information for concurrent Java programsarticle