“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 Formal Description Techniques, III, J. Quemada, J. Mañas, E. Vazques, Eds.
North-Holland, Jan. 1991, pp. 345–352.
Abstract: —
Download paper
Download Formal specification and verification of a network independent atomic multicast protocol
Export citation
Project(s):
Missing ResearchLine