Supporting Selective Formalism in CSP++ with Process-Specific Storage. - William B. Gardner; Alicia Gumtie; John D. Carter (HPCC/CSS/ICESS, 2015)