Skip to content

Algebra, Logic, Locality, Concurrency.

Peter W. O'Hearn

VenueBAPLAS
Year2011
ProceedingsAPLAS

Browse the full APLAS paper archive.