A framework for parallel composition of protocols

Gurdip Singh, Arthur J. Bernstein

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

Abstract

In this paper, we propose a technique for parallel composition of protocols. The technique allows an interleaved execution of the component protocols at a site. We give a sound and complete proof system for composing the partial correctness proofs of the component protocols to obtain a proof of the composite protocol. We first develop the technique for the case in which the component protocols are linear sequences of events. We then apply this technique in a hierarchical fashion to combine more complex protocols. We illustrate the use of this technique by designing a new protocol for breadth-first numbering.

Original languageEnglish (US)
Title of host publicationPARLE 1992 Parallel Architectures and Languages Europe - 4th International PARLE Conference, Proceedings
EditorsDaniel Etiemble, Jean-Claude Syre
PublisherSpringer Verlag
Pages928-942
Number of pages15
ISBN (Print)9783540555995
DOIs
StatePublished - Jan 1 1992
Externally publishedYes
Event4th International Parallel Architectures and Languages Europe Conference, PARLE 1992 - Paris, France
Duration: Jun 15 1992Jun 18 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume605 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Parallel Architectures and Languages Europe Conference, PARLE 1992
CountryFrance
CityParis
Period6/15/926/18/92

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A framework for parallel composition of protocols'. Together they form a unique fingerprint.

Cite this