Foundations of Knowledge for Distributed Systems


Michael J. Fisher, Neil Immerman

We give a simple, yet very general definition for distributed protocols. We then define notions of knowledge and common knowledge appropriate for these protocols. We study how changes in the states of knowledge relate to more standard notions of computation. We find that by restricting our formulas to certain sets of global states we can realize different, appropriate definitions of knowledge with fundamentally different properties.

 @techreport{dsknowledge-yaletr450,
Author = {Fisher, Michael J. and Immerman, Neil},
Institution = {Yale University},
Month = dec,
Number = 450,
Title = {Foundations of Knowledge for Distributed Systems},
Type = {Technical Report},
Url = {http://www.cs.yale.edu/publications/techreports/tr450.pdf},
Year = 1985

Publication

— authors

Michael J. Fisher, Neil Immerman

— status

published

— sort

technical report

URLs

original page

BibTeX

— BibTeX ID
dsknowledge-yaletr450
— BibTeX category
techreport

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY