Formal Specification and Verification of a Network Independent Atomic Multicast Protocol

  • Authors:

  • M. Baptista;Susanne Graf;Jean-Luc Richier;Luís Rodrigues;Carlos Rodriguez;Paulo Verissimo;Jacques Voiron

  • Affiliations:

  • -;-;-;-;-;-;-

  • Venue:
  • FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract