Formal Specification and Verification of a Network Independent Atomic Multicast Protocol

Abstract

Network S T A T I O N 1 Protocol process 1 User 1 ? 6 ? 6 S T A T I O N 2 Protocol process 2 User 2 ? 6 ? 6 ... S T A T I O N n Protocol process n User n

Extracted Key Phrases

Cite this paper

@inproceedings{Baptista1990FormalSA, title={Formal Specification and Verification of a Network Independent Atomic Multicast Protocol}, author={M. Baptista and Susanne Graf and Jean-Luc Richier and Lu{\'i}s E. T. Rodrigues and Carlos Rodriguez and Paulo Ver{\'i}ssimo and Jacques Voiron}, booktitle={FORTE}, year={1990} }