A methodology for designing communication protocols.

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 proto...

Full description

Bibliographic Details

Published in:	Computer communication review. 24, 4 (1994).
Main Author:	Singh, Gurdip
Format:	Article
Language:	English
Subjects:	Computer systems organization. Computer communication networks. Network protocols. Algorithms. Design. Performance.