Methodology for designing communication protocols

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

1 Scopus citations

Abstract

We propose a compositional technique for designing protocols. The technique involves specifying constraints between the events of the component protocols. A constraint may either require synchronization between certain events of the component protocols or may require inhibiting an event in one protocol on the occurrence of an event in another component protocol. We find both types of constraints useful in composing protocols. We demonstrate the applicability of the technique by deriving several protocols. The technique facilitates modular design and verification. Our technique, in conjunction with the sequential composition technique, can be used to design complex protocols.

Original languageEnglish (US)
Title of host publicationProceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994
PublisherAssociation for Computing Machinery, Inc
Pages245-255
Number of pages11
ISBN (Electronic)0897916824, 9780897916820
DOIs
StatePublished - Oct 1 1994
Externally publishedYes
Event1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994 - London, United Kingdom
Duration: Aug 31 1994Sep 2 1994

Other

Other1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994
CountryUnited Kingdom
CityLondon
Period8/31/949/2/94

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Methodology for designing communication protocols'. Together they form a unique fingerprint.

  • Cite this

    Singh, G. (1994). Methodology for designing communication protocols. In Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994 (pp. 245-255). Association for Computing Machinery, Inc. https://doi.org/10.1145/190314.190337