John H. Reif, Gary L. Peterson
A Dynamic Logic of Multiprocessing with Incomplete Information
POPL, 1980.
@inproceedings{POPL-1980-ReifP,
author = "John H. Reif and Gary L. Peterson",
booktitle = "{Conference Record of the Seventh Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/567446.567465",
editor = "Paul W. Abrahams and Richard J. Lipton and Stephen R. Bourne",
isbn = "0-89791-011-7",
pages = "193--202",
publisher = "{ACM Press}",
title = "{A Dynamic Logic of Multiprocessing with Incomplete Information}",
year = 1980,
}