Sign in

Resources, Concurrency and Local Reasoning.

Peter W. O'Hearn
Published in: CONCUR (2004)
Keyphrases