| |
Rajit Manohar and Alain J. Martin
We present conditions under which we can modify the slack on a channel
in a distributed computation without changing its behavior. These
results can be used to modify the degree of pipelining in an
asynchronous system. The generality of the result shows the wide
variety of pipelining alternatives presented to the designer of an
asynchronous system. We give examples of program transformations which
can be used in the design of asynchronous systems whose correctness
depends on the conditions presented.
|
|
