Knowledge, probability, and adversaries (1989)

by J Y Halpern, M R Tuttle
Venue:in: Proceedings 8th ACM Symposium on Principles of Distributed Computing