@inproceedings{4a93fa958e0645e18ed5ea19c9643bfe,
title = "A framework for parallel composition of protocols",
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.",
author = "Gurdip Singh and Bernstein, {Arthur J.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 4th International Parallel Architectures and Languages Europe Conference, PARLE 1992 ; Conference date: 15-06-1992 Through 18-06-1992",
year = "1992",
doi = "10.1007/3-540-55599-4_133",
language = "English (US)",
isbn = "9783540555995",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "928--942",
editor = "Daniel Etiemble and Jean-Claude Syre",
booktitle = "PARLE 1992 Parallel Architectures and Languages Europe - 4th International PARLE Conference, Proceedings",
}