@article{article, title = {{On locality and the exchange law for concurrent processes}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Hoare CAR and Hussain A and Möller B and O'Hearn PW and Petersen RL and Struth G}}, doi = {{10.1007/978-3-642-23217-6_17}}, volume = {{6901 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{250-264}}, note = {{Accessed on 2024/12/25}}}