Programming simultaneous actions using common knowledge
- 1 November 1988
- journal article
- Published by Springer Nature in Algorithmica
- Vol. 3 (1-4), 121-169
- https://doi.org/10.1007/bf01762112
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- How processes learnDistributed Computing, 1986
- Distributed agreement in the presence of processor and communication faultsIEEE Transactions on Software Engineering, 1986
- A communication-efficient canonical form for fault-tolerant distributed protocolsPublished by Association for Computing Machinery (ACM) ,1986
- The Byzantine Firing Squad Problem.Published by Defense Technical Information Center (DTIC) ,1985
- A formal model of knowledge, action, and communication in distributed systemsPublished by Association for Computing Machinery (ACM) ,1985
- The distributed firing squad problemPublished by Association for Computing Machinery (ACM) ,1985
- Method for distributed transaction commit and recovery using Byzantine Agreement within clusters of processorsPublished by Association for Computing Machinery (ACM) ,1983
- 'Eventual' is earlier than 'immediate'Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- A lower bound for the time to assure interactive consistencyInformation Processing Letters, 1982
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980