jberger@asterix.drev.dnd.ca (Jean Berger) (03/02/90)
Look for references or comments on use on FDT(Formal Descripton Techniques) tools for description of concurrent and/or distributed systems: (used especially in Net comm. protocols: Formal spec, validation) I would like to hear about the nature of applications you've been working on, and the power of such a tools: limitations, possibilities, ... LOTOS: Language of Temporal Ordering Specification ESTELLE SDL others ???? If there is general interest for the matter i'll follow up -- jean berger DREV, Defence Research Establishment,Valcartier jeanb@quebec.drev.dnd.ca POBox 8800, Courcelette,Quebec, CANADA, G0A 1R0 (131.132.34.10) Office: (418) 844-4645 Home (418) 683-2381