On the construction of multiphase communication protocols

Gurdip Singh, Madhavi Sammeta

Research output: Contribution to journalArticle

7 Scopus citations

Abstract

The complexity of communication protocols has led to compositional techniques to design and verify protocols. We propose a framework for sequential composition of protocols. We identify two types of interactions, ordering and inhibition, required to specify such compositions. By describing these interactions separately, our framework enhances the applicability to the technique to a larger class of protocols. The technique facilitates modular design and verification. We illustrate the use of our technique by deriving several protocols.

Original languageEnglish (US)
Pages (from-to)151-158
Number of pages8
JournalInternational Conference on Network Protocols
StatePublished - Dec 1 1994
Externally publishedYes

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'On the construction of multiphase communication protocols'. Together they form a unique fingerprint.

  • Cite this