On Locality and the Exchange Law for Concurrent Processes
C. A. R. Hoare‚ Akbar Hussain‚ Bernhard Möller‚ Peter W. O'Hearn‚ Rasmus Lerchedahl Petersen and Georg Struth
Book Title
CONCUR 2011 − Concurrency Theory − 22nd International Conference‚ CONCUR 2011‚ Aachen‚ Germany‚ September 6−9‚ 2011. Proceedings
Editor
Joost−Pieter Katoen and Barbara König
Pages
250−264
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6901
Year
2011