Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!know!zaphod.mps.ohio-state.edu!wuarchive!uunet!blkcat!p109.f131.n109.z1.fidonet.org!John.DeCarlo
From: John.DeCarlo@p109.f131.n109.z1.fidonet.org (John DeCarlo)
Newsgroups: comp.protocols.iso
Subject: Formal Specification in OSI
Message-ID: <2094.270B78BC@blkcat.fidonet.org>
Date: 4 Oct 90 19:30:10 GMT
Sender: ufgate@blkcat.fidonet.org (newsout1.26)
Organization: FidoNet node 1:109/131.109 - Cluster BBS (No Tar, John DeCarlo
Lines: 33

writes:

 KS>I am a graduate student of University of Massachusetts and I need to
 KS>write (or to specify) protocols for a network architecture using one of
 KS>the formal protocol specification language.

 KS>    Thus, I would appreciate all pointers to books, papers,publications
 KS>personal experiences which will help me in my work. This being a crucial
 KS>part of my thesis, any help from you will go a long way in helping me.

Well, there is an annual conference dedicated to formal specifications, called 
FORTE (FORTE '90 was in Vancouver).  The proceedings from this conference would 
undoubtedly prove useful.

NIST is doing a fair amount of work in Estelle.  Most of the LOTOS work I know 
of is being done in Europe and most of that is being done in the academic 
community.  I don't know what is happening with SDL.

I am doing work in LOTOS for the Consultative Committee for Space Data Systems 
(CCSDS), if any specific questions on LOTOS arise.

John "You can be formal without a black tie" DeCarlo
jdecarlo@mitre.org

 



--  

   	John DeCarlo, John.DeCarlo@p109.f131.n109.z1.fidonet.org
   	via The Black Cat's Shack's FidoNet<->Usenet Gateway
	    blkcat.fidonet.org   and   Fidonet 1:109/401