Skip to content

Algebra, Logic, Locality, Concurrency.

Peter W. O'Hearn

VenueBCPP
Year2011
ProceedingsCPP

Browse the full CPP paper archive.