The Community for Technology Leaders
RSS Icon
Issue No.03 - March (1988 vol.14)
pp: 353-362
<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.S. Lam, "Protocol Conversion", IEEE Transactions on Software Engineering, vol.14, no. 3, pp. 353-362, March 1988, doi:10.1109/32.4655
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool