Sign in
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
Georg Struth
Published in:
CONCUR (2011)
Keyphrases
</>
concurrent processes
petri net
concurrent programs
information exchange
share information
legal reasoning
real world
machine learning
social networks
case study
database systems
face recognition
artificial intelligence
decision trees
spatial locality