Specifying and Using a Partitionable Group Communication Service*
| dc.contributor.author | Fekete, Alan | en_US |
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.contributor.author | Shvartsman, Alexander A. | en_US |
| dc.date.accessioned | 2023-03-29T14:40:33Z | |
| dc.date.available | 2023-03-29T14:40:33Z | |
| dc.date.issued | 1997-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149272 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-570 | |
| dc.title | Specifying and Using a Partitionable Group Communication Service* | en_US |
