A Dynamic Logic of Multiprocessing with Incomplete Information.

John H. Reif, Gary L. Peterson

Browse the full POPL paper archive.