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 | |
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 |
Other
Other | 1994 Conference on Communications Architectures, Protocols and Applications, SIGCOMM 1994 |
---|---|
Country | United Kingdom |
City | London |
Period | 8/31/94 → 9/2/94 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture