We present a procedure to decide if a finite-state communication protocol provides end-users with a robust communication medium. The underlying model is algebraic and is based on Milner's CCS and observation equivalence, the notion that two processes cannot be distinguished by an external observer. In particular, we test if the protocol's visible behavior is observationally equivalent to the behavior of an ideal communication medium. We develop asynchronous versions of the protocols to illustrate our technique.
|Title of host publication
|Unknown Host Publication Title
|Yechiam Yemini, Robert Strom, Shaula Yemini
|Number of pages
|Published - 1985