Annotations for Distributed Programming in Logic.

Raghu Ramakrishnan, Abraham Silberschatz

Browse the full POPL paper archive.