Structured design of communication protocols

Gurdip Singh, Zhenyu Mao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


We propose a compositional technique to design multifunction protocols. The technique involves first designing the protocols performing the various functions separately and then combining them using a set of constraints. The constraints are used to specify the interactions between the component protocols. The interactions, for example, specify when a function has to be performed and whether two functions can be performed concurrently or not. We illustrate the use of our technique by designing several protocols. We give sufficient conditions to infer properties of the composite protocol from those of the component protocols.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Distributed Computing Systems
PublisherIEEE Computer Society
Number of pages8
StatePublished - 1996
Externally publishedYes
EventProceedings of the 1996 16th International Conference on Distributed Computing Systems - Hong Kong, Hong Kong
Duration: May 27 1996May 30 1996


OtherProceedings of the 1996 16th International Conference on Distributed Computing Systems
CityHong Kong, Hong Kong

ASJC Scopus subject areas

  • Hardware and Architecture


Dive into the research topics of 'Structured design of communication protocols'. Together they form a unique fingerprint.

Cite this