TY  - JOUR

T1  - On locality and the exchange law for concurrent processes

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2011/01/01

AU  - Hoare CAR

AU  - Hussain A

AU  - Möller B

AU  - O'Hearn PW

AU  - Petersen RL

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/978-3-642-23217-6_17

VL  - 6901 LNCS

SP  - 250

EP  - 264

Y2  - 2024/12/22

ER  -