Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conferen - Stan Budkowski, Ana Cavalli et Elie Najm