Foundations of Knowledge for Distributed Systems.

Michael J. Fischer, Neil Immerman

Browse the full TARK paper archive.