Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system release_qkwmtcxvjve55mabefuv5expze

by H.V. Ramasamy, M. Cukier, W.H. Sanders

Released as a paper-conference by IEEE .

Archived Files and Locations

application/pdf  113.1 kB
file_ys5zc42owvbb5ohcsi4lh5pf74
web.archive.org (webarchive)
www.perform.illinois.edu (web)
Read Archived PDF
Archived
Type  paper-conference
Stage   unknown
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 1b2d677f-43b6-49e1-89eb-ea8100cd88f7
API URL: JSON