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, }