Conference item icon

Conference item

On Locality and the Exchange Law for Concurrent Processes

Actions


Access Document


Authors


C.A.R. Hoare More by this author
Akbar Hussain More by this author
Bernhard Möller More by this author
Peter W. O'Hearn More by this author
Rasmus Lerchedahl Petersen More by this author
Expand authors...
Publisher:
Springer
Volume:
6901
Publication date:
2011
DOI:
URN:
uuid:1102a0df-59a7-4ecc-8ee8-1f02f760951a
Local pid:
cs:8386

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP