We present conditions under which we can modify the slack of 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 a concurrent system. We give examples of program transformations which can be used in the design of concurrent systems whose correctness depends on the conditions presented.
CITATION STYLE
Manohar, R., & Martin, A. J. (1998). Slack elasticity in concurrent computing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1422, pp. 272–285). Springer Verlag. https://doi.org/10.1007/bfb0054295
Mendeley helps you to discover research relevant for your work.