Validation of distributed algorithms and protocols. - Qiang Gao 004; Roland Groz; Gregor von Bochmann; Joumana Dargham; E. Houssain Htite (ICNP, 1995)