Modular Reasoning for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu

Browse the full ICTAC paper archive.