Methodology for designing communication protocols

Gurdip Singh

doi:10.1145/190314.190337

Methodology for designing communication protocols

Gurdip Singh

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994
Publisher	Association for Computing Machinery, Inc
Pages	245-255
Number of pages	11
ISBN (Electronic)	0897916824, 9780897916820
DOIs	https://doi.org/10.1145/190314.190337
State	Published - Oct 1 1994
Externally published	Yes
Event	1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994 - London, United Kingdom Duration: Aug 31 1994 → Sep 2 1994

Publication series

Name	Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994

Other

Other	1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994
Country/Territory	United Kingdom
City	London
Period	8/31/94 → 9/2/94

ASJC Scopus subject areas

Software
Hardware and Architecture

Access to Document

10.1145/190314.190337

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). (Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994). Association for Computing Machinery, Inc. https://doi.org/10.1145/190314.190337

Methodology for designing communication protocols. / Singh, Gurdip.

Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994. Association for Computing Machinery, Inc, 1994. p. 245-255 (Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Singh, G 1994, Methodology for designing communication protocols. in Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994. Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994, Association for Computing Machinery, Inc, pp. 245-255, 1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994, London, United Kingdom, 8/31/94. https://doi.org/10.1145/190314.190337

@inproceedings{29925953028b4c0fae2dc81882a3527e,

title = "Methodology for designing communication protocols",

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.",

author = "Gurdip Singh",

note = "Funding Information: by NSF grant Publisher Copyright: {\textcopyright} 1994 ACM.; 1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994 ; Conference date: 31-08-1994 Through 02-09-1994",

year = "1994",

month = oct,

day = "1",

doi = "10.1145/190314.190337",

language = "English (US)",

series = "Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994",

publisher = "Association for Computing Machinery, Inc",

pages = "245--255",

booktitle = "Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994",

}

TY - GEN

T1 - Methodology for designing communication protocols

AU - Singh, Gurdip

PY - 1994/10/1

Y1 - 1994/10/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84961591998&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84961591998&partnerID=8YFLogxK

U2 - 10.1145/190314.190337

DO - 10.1145/190314.190337

M3 - Conference contribution

AN - SCOPUS:84961591998

T3 - Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994

SP - 245

EP - 255

BT - Proceedings of the Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994

PB - Association for Computing Machinery, Inc

T2 - 1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994

Y2 - 31 August 1994 through 2 September 1994

ER -

Methodology for designing communication protocols

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this