Deriving a protocol converter. A top-down method

Kenneth L. Calvert, Simon S. Lam

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

25 Scopus citations


A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some form of useful interaction. The problem of deriving a protocol converter from specifications of the protocols and a desired service can be viewed as the problem of finding the 'quotient' of two specifications. We define a class of finite-state specifications and present an algorithm for solving 'quotient' problems for the class. The algorithm is applied to an example conversion problem. We also discuss its application in the context of layered network architectures.

Original languageEnglish
Title of host publicationSIGCOMM 89 Symp Commun Archit Protoc
Number of pages12
StatePublished - 1989
EventSIGCOMM '89 Symposium: Communications Architectures & Protocols - Austin, TX, USA
Duration: Sep 19 1989Sep 22 1989

Publication series

NameSIGCOMM 89 Symp Commun Archit Protoc


ConferenceSIGCOMM '89 Symposium: Communications Architectures & Protocols
CityAustin, TX, USA

ASJC Scopus subject areas

  • Engineering (all)


Dive into the research topics of 'Deriving a protocol converter. A top-down method'. Together they form a unique fingerprint.

Cite this