Structured design of communication protocols

Gurdip Singh, Zhenyu Mao

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

2 Scopus citations

Abstract

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
Pages360-367
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

Other

OtherProceedings of the 1996 16th International Conference on Distributed Computing Systems
CityHong Kong, Hong Kong
Period5/27/965/30/96

ASJC Scopus subject areas

  • Hardware and Architecture

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

  • Cite this

    Singh, G., & Mao, Z. (1996). Structured design of communication protocols. In Proceedings - International Conference on Distributed Computing Systems (pp. 360-367). IEEE Computer Society.