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.

Specifying and Using a Partitionable Group Communication Service*

Thumbnail Image
Download
Name

MIT-LCS-TM-570b.pdf

Size

3.14 MB

Format

Adobe PDF

Checksum (MD5)

5a6e003a3ee1ea8536a7ff6475375020

Author(s)
Fekete, Alan
•
Lynch, Nancy A.
•
Shvartsman, Alexander A.
Date Issued
June 1999
Series/Report no.
MIT-LCS-TM-570b
Abstract
A new, simple formal specification is presented for a partitionable view-oriented group communication service. The specification consists of a state machine to express safety requirements and a timed trace property to express performance and fault-toleran.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.