“Formal specification and verification of a network independent atomic multicast protocol”
From Navigators
Mário Baptista, Luís Rodrigues, Paulo Veríssimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron
in 1991. Formal Description Techniques, III, pages 345-352, J. Quemada, J. Mañas, and E. Vazques, editors, North-Holland
Missing publisher, Jan. 1991.
Abstract: —
Download paper
Download Formal specification and verification of a network independent atomic multicast protocol
Export citation
Project(s):
Missing ResearchLine