Formal specification and verification of a network independent atomic multicast protocol

TitleFormal specification and verification of a network independent atomic multicast protocol
Publication TypeJournal Article
Year of Publication1990
AuthorsBaptista, M., S. Graf, J-L. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron
JournalThird International Conference on Formal Description Techniques (FORTE 90)