Show simple item record

dc.contributor.authorMoses, Yoramen_US
dc.contributor.authorTuttle, Mark R.en_US
dc.date.accessioned2023-03-29T15:13:47Z
dc.date.available2023-03-29T15:13:47Z
dc.date.issued1987-02
dc.identifier.urihttps://hdl.handle.net/1721.1/149637
dc.description.abstractThis work applies the theory of knowledge in distributed systems to the design of efficient fault-tolerant protocols. We define a large class of problems requiring coordinated, simultaneous action in synchronous systems, and give a method of transforming specifications of such problems into protocols that are optimal in all runs: for every possible input to the system and faculty processor behavior, these protocols are guaranteed to perform the simultaneous actions as soon as any other protocol could possibly perform them.en_US
dc.relation.ispartofseriesMIT-LCS-TR-369
dc.titleProgramming Simultaneous Action Using Common Knowledgeen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record