%0 Journal Article
%T Using Reasoning About Knowledge to Analyze Distributed Systems
%A J Y Halpern
%J -
%D 1987
%R 10.1146/annurev.cs.02.060187.000345
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.02.060187.000345