%0 Conference Paper %1 conf/podc/HalpernF85 %A Halpern, Joseph Y. %A Fagin, Ronald %B PODC %D 1985 %E Malcolm, Michael A. %E Strong, H. Raymond %I ACM %K dblp %P 224-236 %T A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. %U http://dblp.uni-trier.de/db/conf/podc/podc85.html#HalpernF85 %@ 0-89791-167-9

@inproceedings{conf/podc/HalpernF85, added-at = {2018-11-06T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Fagin, Ronald}, biburl = {https://www.bibsonomy.org/bibtex/2220d68a395c6fe24243ccbd9e7ccbd56/dblp}, booktitle = {PODC}, crossref = {conf/podc/1985}, editor = {Malcolm, Michael A. and Strong, H. Raymond}, ee = {https://doi.org/10.1145/323596.323617}, interhash = {8067a272559d945572a768863974d4b4}, intrahash = {220d68a395c6fe24243ccbd9e7ccbd56}, isbn = {0-89791-167-9}, keywords = {dblp}, pages = {224-236}, publisher = {ACM}, timestamp = {2018-11-07T14:51:40.000+0100}, title = {A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc85.html#HalpernF85}, year = 1985 }