Rules for synthesizing correct communication protocols
Deepinder P. Sidhu · ACM SIGCOMM Computer Communication Review · 1982
An approach to communication protocols synthesis is proposed which permits the development of general (FIFO and non-FIFO channels), N-party (N>=2) protocols with the following properties: completeness, deadlock freeness, livelock or tempo-blocking freeness, termination or cyclic behavior, liveness, boundedness and absence of non-executable interactions.