IFIP TC6/WG6.1 International Conference FORTE/PSTV 2000 Formal Description Techniques ror Distributed Systems and Communication Protocols / Protocol Specification, Testing and Verification