Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.protocols.ibm
Subject: Re: Finite State  Machine  Decomposition of Protocols
Message-ID: <33684@nigel.ee.udel.edu>
Date: 17 Oct 90 02:11:31 GMT
References: <9091@helios.TAMU.EDU>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 13
Nntp-Posting-Host: snow-white.ee.udel.edu

In article <9091@helios.TAMU.EDU> bajpai@ee.tamu.edu (Dhruv Bajpai) writes:
>   Does anyone know about any references that deal with finite state 
>   decomposition of protocols . 

Try "Protocol Verification via Projections" in IEEE Trans on Software
Engineering Vol SE-10, No. 4, July 1984.  It has much bibliography.

Please let me know if you get any unrelated work, as I am interested in
this also.   Thanks!                 -- Darren
-- 
--- Darren New --- Grad Student --- CIS --- Univ. of Delaware ---
----- Network Protocols, Graphics, Programming Languages, 
      Formal Description Techniques (esp. Estelle), Coffee -----