loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Network Protocols (ICNP'95)
Validation of distributed algorithms and protocols
Tokyo, Japan
November 07-November 10
ISBN: 0-8186-7216-1
ASCII Text
x 
 
Qiang Gao, R. Groz, G. von Bochmann, J. Dargham, E.H. Htite, "Validation of distributed algorithms and protocols," Network Protocols, IEEE International Conference on, pp. 110, Third International Conference on Network Protocols (ICNP'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICNP.1995.524825,
author = {Qiang Gao and R. Groz and G. von Bochmann and J. Dargham and E.H. Htite},
title = {Validation of distributed algorithms and protocols},
journal ={Network Protocols, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7216-1},
pages = {110},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524825},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Protocols, IEEE International Conference on
TI - Validation of distributed algorithms and protocols
SN - 0-8186-7216-1
SP
EP
A1 - Qiang Gao,
A1 - R. Groz,
A1 - G. von Bochmann,
A1 - J. Dargham,
A1 - E.H. Htite,
PY - 1995
KW - distributed algorithms; protocols; specification languages; distributed algorithms; protocols; formal description; validation; communication protocols; Estelle language; Veda; multi-rendezvous; distributed rendezvous algorithms
VL - 0
JA - Network Protocols, IEEE International Conference on
ER -
 
Qiang Gao, Int. Validation & Testing Corp., Ottawa, Ont., Canada
R. Groz, Int. Validation & Testing Corp., Ottawa, Ont., Canada
G. von Bochmann, Int. Validation & Testing Corp., Ottawa, Ont., Canada
J. Dargham, Int. Validation & Testing Corp., Ottawa, Ont., Canada
E.H. Htite, Int. Validation & Testing Corp., Ottawa, Ont., Canada
The use of formal description techniques allows the partial automation of the design, the validation, and the implementation of communication protocols and distributed algorithms. In this paper, we present a methodology for validation of distributed algorithms and protocols, and our experiences of using the Estelle language, and a simulation and validation tool, called Veda, to simulate and validate complex distributed algorithms for the distributed implementation of multi-rendezvous. Some design errors in published distributed rendezvous algorithms were found. We obtain from these experiences heuristic guidelines for trouble shooting of distributed algorithms
Index Terms:
distributed algorithms; protocols; specification languages; distributed algorithms; protocols; formal description; validation; communication protocols; Estelle language; Veda; multi-rendezvous; distributed rendezvous algorithms
Citation:
Qiang Gao, R. Groz, G. von Bochmann, J. Dargham, E.H. Htite, "Validation of distributed algorithms and protocols," icnp, pp.110, Third International Conference on Network Protocols (ICNP'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.