Modeling and Verification of Randomized Distributed Real -Time Systems
dc.contributor.advisor | Lynch, Nancy A. | en_US |
dc.contributor.author | Segala, Roberto | en_US |
dc.date.accessioned | 2023-03-29T15:26:12Z | |
dc.date.available | 2023-03-29T15:26:12Z | |
dc.date.issued | 1996-06 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149815 | |
dc.description.abstract | Randomization is an excellent tool for the design of distributed algorithms, sometimes yielding efficient solutions to problems that are inherently complex, or even unsolvable, in the setting of deterministic algorithms. However, this tool has a price: e | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-676 | |
dc.title | Modeling and Verification of Randomized Distributed Real -Time Systems | en_US |