Formal Specification and Verification of a Network Independent Atomic Multicast Protocol

AuthID
P-008-M2C
7
Author(s)
Baptista, M
·
Graf, S
·
Richier, JL
·
Rodriguez, C
·
Voiron, J
3
Editor(s)
Juan Quemada; José A. Mañas; Enrique Vázquez
Document Type
Proceedings Paper
Year published
1990
Published
in Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 in FORTE
Pages: 345-352
Indexing
Publication Identifiers
Dblp: conf/forte/BaptistaGRRRVV90
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.