Abstract
We propose a compositional technique to design multifunction protocols. The technique involves first designing the protocols performing the various functions separately and then combining them using a set of constraints. The constraints are used to specify the interactions between the component protocols. The interactions, for example, specify when a function has to be performed and whether two functions can be performed concurrently or not. We illustrate the use of our technique by designing several protocols. We give sufficient conditions to infer properties of the composite protocol from those of the component protocols.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - International Conference on Distributed Computing Systems |
| Publisher | IEEE Computer Society |
| Pages | 360-367 |
| Number of pages | 8 |
| State | Published - 1996 |
| Externally published | Yes |
| Event | Proceedings of the 1996 16th International Conference on Distributed Computing Systems - Hong Kong, Hong Kong Duration: May 27 1996 → May 30 1996 |
Other
| Other | Proceedings of the 1996 16th International Conference on Distributed Computing Systems |
|---|---|
| City | Hong Kong, Hong Kong |
| Period | 5/27/96 → 5/30/96 |
ASJC Scopus subject areas
- Hardware and Architecture