bajpai@ee.tamu.edu (Dhruv Bajpai) (10/15/90)
Does anyone know about any references that deal with finite state decomposition of protocols . I am working on my master's thesis which requires me to decompose the protocol and implement them in VLSI arrays . The only references I have found are in IFIP journals but they haven't been of much help . Dhruv Bajpai Dept of Electrical Engg Texas A & M University College Station , Tx 77843
new@ee.udel.edu (Darren New) (10/17/90)
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 -----
ee.udel.EDU@LOUIE.UDEL.EDU (Darren New) (10/17/90)
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 -----