Formal Specification and Verification of a Network Independent Atomic Multicast Protocol

TitleFormal Specification and Verification of a Network Independent Atomic Multicast Protocol
Publication TypeBook
Year of Publication1991
AuthorsBaptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron
PublisherFORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland