On Locality and the Exchange Law for Concurrent Processes - Hoare, C; Hussain, A; Möller, B; O'Hearn, P; Petersen, R; Struth, G (Springer, 2011)