Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!julius.cs.uiuc.edu!apple!agate!ucbvax!LOUIE.UDEL.EDU!ee.udel.EDU
From: ee.udel.EDU@LOUIE.UDEL.EDU (Darren New)
Newsgroups: comp.protocols.ibm
Subject: Re: Finite State  Machine  Decomposition of Protocols
Message-ID: <9010170248.AA26129@lilac.berkeley.edu>
Date: 17 Oct 90 02:11:31 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Darren New <ee.udel.edu@LOUIE.UDEL.EDU>
Organization: The Internet
Lines: 13

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 -----