Gary D. Schultz, David B. Rose, et al.
IEEE Transactions on Communications
It is shown that communication between asynchronous processes can be expressed as sequences of nondecomposable, basic interaction which in the general case involve multiple message exchanges. Consideration of the form of these interactions leads to an understanding of the limitations of protocol-validation techniques and improves their efficiency. © 1982.
Gary D. Schultz, David B. Rose, et al.
IEEE Transactions on Communications
C.H. West
SIGCOMM 1989