Issue No. 03 - March (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4655
<p>The problem of achieving communication between two processes across a network or an internetwork is considered. The notion of logical connectivity between processes in a protocol is formalized. The problem of constructing a protocol converter to achieve interoperability between processes that implement different protocols is addressed. A formal model is presented, based on the theory of protocol projection, for reasoning about the semantics of different protocols and conversions between them. Two kinds of converters are presented: memoryless converters and finite-state converters. The construction of some finite-state converters is illustrated, and examples are given.</p>
logical connectivity; protocol; converter; formal model; memoryless converters; finite-state converters; computer networks; protocols
S. Lam, "Protocol Conversion," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 353-362, 1988.