Slack Elasticity in Concurrent Computing

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.