| Document Date: 2007-04-26 00:00:00
Open Document File Size: 293,31 KBShare Result on Facebook
City Computer Science Cambridge / / Company IBM / Mark R. Tuttle MIT Laboratory / / Country Israel / / Event Product Issues / / Facility Weizmann Institute / / IndustryTerm faulttolerant protocols / even if processors / conventional processors / erent processors / level protocols / low-level standard protocols / nonfaulty processors / individual processors / distributed airline reservation system / synchronous systems / given protocol / cient optimal protocol / nonfaulty processor / faulty processor / highlevel protocol / correct protocol / unreliable systems / f^ faulty processors / deterministic algorithm / faulty processors / fault-tolerant protocols / level protocol / erent protocols / / Organization Weizmann Institute / Defense Advanced Research Projects / MIT / / Position The rst author / / Product K-0125 / K-0168 / K-0058 / behavior / processor / behavior sequence / processor behavior / protocol / processors / / ProvinceOrState Massachusetts / / Technology erent processors / high-level protocol / faulty processor / previous protocol / participating processors / one processor / resulting protocols / knowledge-based protocols / highlevel protocol / high-level protocols / fault-tolerant protocols / deterministic algorithm / weak protocol / 2 processors / nonfaulty processor / all relevant processors / f^ faulty processors / given protocol / nonfaulty processors / relevant processors / implementing protocol / erent protocols / faulty processors / /
SocialTag |
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version Yoram Moses and Mark R. Tuttle MIT Laboratory for Computer Science Cambridge, MassachusettsAbstract: