00000cab a22000003a 4500 UP-99796217608667354 Buklod 20231007234630.0 m |o d | ta 090127s xx d | ||r ||||| || (iLib)UPD-00073796743 DENGII eng Singh, Gurdip A methodology for designing communication protocols. pp. 245-255 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. Computer systems organization. Computer communication networks. Network protocols. Algorithms. Design. Performance. Computer communication review. 24, 4 (1994). FO UPD DENG-II Article