Paper: Levels of Knowledge in Distributed Computing (at LICS 1986)
Authors: Rohit Parikh
Abstract
We investigate the properties of the state of knowledge of a system of n processes taking part in a distributed computation.
BibTeX
@InProceedings{Parikh-LevelsofKnowledgein, author = {Rohit Parikh}, title = {Levels of Knowledge in Distributed Computing}, booktitle = {Proceedings of the First Annual IEEE Symposium on Logic in Computer Science (LICS 1986)}, year = {1986}, month = {June}, pages = {314--321}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }