Foundations of Knowledge in Distributed Systems. Conference on Theoretical Aspects of Reasoning About Knowledge, Asilomar (1986)

by M J Fischer, N Immerlnan
Venue:Propositional Dynamic Logic of Regular Progams. Journal of Computer and System Sciences