Path: utzoo!attcan!uunet!tank!ux1.cso.uiuc.edu!uwm.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucsd!rutgers!ncs.dnd.ca!asterix.drev.dnd.ca!jberger
From: jberger@asterix.drev.dnd.ca (Jean Berger)
Newsgroups: comp.software-eng
Subject: Lotos/Estelle/SDL FDT exp/refs ?
Message-ID: <1990Mar1.191507.18037@asterix.drev.dnd.ca>
Date: 1 Mar 90 19:15:07 GMT
Distribution: comp
Organization: DREV, Defence Research Est. Valcartier
Lines: 18


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