Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

Mrio Baptista, Susanne Graf, Jean-Luc Richier, Lus E. T. Rodrigues, Carlos Rodrguez, Paulo Verssimo, Jacques Voiron

Browse the full FORTE paper archive.