Manohar, Rajit and Martin, Alain J. (1998) Slack elasticity in concurrent computing. In: Mathematics of Program Construction. Lecture Notes in Computer Science. No.1422. Springer , Berlin, Heidelberg, pp. 272-285. ISBN 9783540645917. https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167
Abstract
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.
| Item Type: | Book Section | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Related URLs: |
| |||||||||
| Additional Information: | © Springer-Verlag Berlin Heidelberg 1998. | |||||||||
| Subject Keywords: | Selection Statement; Decision Point; Mutual Exclusion; Parallel Composition; Concurrent System | |||||||||
| Series Name: | Lecture Notes in Computer Science | |||||||||
| Issue or Number: | 1422 | |||||||||
| DOI: | 10.1007/bfb0054295 | |||||||||
| Record Number: | CaltechAUTHORS:20201210-161233167 | |||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167 | |||||||||
| Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
| ID Code: | 107031 | |||||||||
| Collection: | CaltechAUTHORS | |||||||||
| Deposited By: | INVALID USER | |||||||||
| Deposited On: | 11 Dec 2020 17:03 | |||||||||
| Last Modified: | 16 Nov 2021 18:58 |
Repository Staff Only: item control page
