Login / Signup

A separation logic for refining concurrent objects.

Aaron Joseph TuronMitchell Wand
Published in: POPL (2011)
Keyphrases