Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2013/4366/ (Any fulltext)
Calin, G., Derevenetc, E., Majumdar, R., & Meyer, R. (2013). A Theory of Partitioned Global Address Spaces. In A. Seth, & N. K. Vishnoi (Eds.), IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (pp. 127-139). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2013.127.