On Locality and the Exchange Law for Concurrent Processes (CONCUR 2011 − Concurrency Theory − 22nd International Conference‚ CONCUR 2011‚ Aachen‚ Germany‚ September 6−9‚ 2011. Proceedings, 2011)

(untitled) - Hoare, C; Hussain, A; Möller, B; O'Hearn, P; Petersen, R; Struth, G