S. Agarwal, R. Barik, V. Sarkar, and R. K. Shyamasundar, May-happen-in-parallel analysis of X10 programs, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, pp.183-193, 2007.
DOI : 10.1145/1229428.1229471

G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

E. Albert, P. Arenas, S. Genaim, M. Gómez-zamalloa, and G. Puebla, Cost Analysis of Concurrent OO Programs, APLAS'11, pp.238-254, 2011.
DOI : 10.1007/978-3-540-70592-5_6

E. Albert, P. Arenas, S. Genaim, M. Gómez-zamalloa, and G. Puebla, COSTABS, Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, PEPM '12, pp.151-154, 2012.
DOI : 10.1145/2103746.2103774

R. Barik, Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs, LCPC'05, pp.152-169, 2005.
DOI : 10.1007/978-3-540-69330-7_11

F. S. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, ESOP'07, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, FMCO'10, pp.142-164, 2012.
DOI : 10.2498/cit.2002.01.01
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.7604

J. K. Lee, J. Palsberg, and R. Majumdar, Complexity results for may-happen-inparallel analysis, 2010.

J. K. Lee and J. Palsberg, Featherweight X10: A Core Calculus for Async-Finish Parallelism, PPoPP'10, pp.25-36, 2010.

L. Li and C. Verbrugge, A Practical MHP Information Analysis for Concurrent Java Programs, LCPC'04, pp.194-208, 2004.
DOI : 10.1007/11532378_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.8104

A. Milanova, A. Rountev, and B. G. Ryder, Parameterized Object Sensitivity for Points-to and Side-effect Analyses for Java, ISSTA, pp.1-11, 2002.
DOI : 10.1145/566173.566174
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.8447

G. Naumovich and G. S. Avrunin, A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel, SIGSOFT FSE'98, pp.24-34, 1998.

G. Naumovich, G. S. Avrunin, and L. A. Clarke, information for concurrent Java programs, ESEC / SIGSOFT FSE'99, pp.338-354, 1999.
DOI : 10.1145/318774.319252

J. Whaley and M. S. Lam, Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, PLDI'04, pp.131-144, 2004.
DOI : 10.1145/996893.996859
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.3251