“Formal specification and verification of a network independent atomic multicast protocol”

From Navigators

Jump to: navigation, search

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

BibTeX

Project(s):

Missing ResearchLine

Personal tools
Navigators toolbox