We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Modeling and Verification of Randomized Distributed Real -Time Systems

Thumbnail Image
Download
Name

MIT-LCS-TR-676.pdf

Size

31.93 MB

Format

Adobe PDF

Checksum (MD5)

7725e0e5d5e84d4df7a524243c9a163d

Author(s)
Segala, Roberto
Advisor(s)
Lynch, Nancy A.
Date Issued
June 1996
Series/Report no.
MIT-LCS-TR-676
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.