On Locality and the Exchange Law for Concurrent Processes.

C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth

Browse the full CONCUR paper archive.