Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.

Aaron Turon, Derek Dreyer, Lars Birkedal

Browse the full ICFP paper archive.