This material will appear as Chapter One in the forthcoming book A Foundation of Parallel Program Design, by K. Mani Chandy and Jayadev Misra, copyright ¢ 1988 by Addison-Wesley Publishing Co., Inc., and is reproduced by permission.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Aho, A. V., J. E. Hopcroft, and J. D. Ullman [1983]. Data Structures and Algorithms, Reading, Massachusetts: Addison-Wesley, 1983.
Andrews, G. R., and F. B. Schneider [1983]. “Concepts and Notations for Concurrent Programming,” Computing Surveys, 15:1, March 1983, pp. 3–43.
Backus, J. [1978]. “Can Programming be Liberated from the von Neumaan Style? A Functional Style and its Algebra of Programs,” C.ACM, 21:8, August 1978, pp. 613–641.
Bertsekas, D. P. [1982]. “Distributed Dynamic Programming,” IEEE Transactions on Automatic Control, AC-27:3, June 1982, pp. 610–616.
Brown, G. M. [1987]. “Self Stabilizing Distributed Resource Allocation,” Ph.D. thesis, University of Texas at Austin, Austin, Texas, 1987.
Brownston, L., et al., [1985]. Programming Expert Systems in OPS5, Reading, Massachusetts: Addison-Wesley, 1985.
Chandy, K. M. [1984]. “Concurrent Programming for the Masses,” (invited address) 3rd Annual ACM Symposium on Principles of Distributed Computing, Vancouver, Canada, August 5–7, 1984. (The text appears in Proc. of the 4th Annual ACM Symposium on Principles of Distributed Computing, 1985, pp. 1–12.)
Chandy, K. M., and J. Misra [1986a]. “An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection,” ACM TOPLAS, 8:3, July 1986, pp. 326–343.
Chandy, K. M., and J. Misra [1986b]. “Systolic Algorithms as Programs,” Distributed Computing, 1, 1986, pp. 177–183.
Cook, S. A. [1983]. “The Classification of Problems Which Have Fast Parallel Algorithms,” Proc. of 24th IEEE Symposium on the Foundations of Computer Science, 1983.
Dijkstra, E. W. [1976]. A Discipline of Programming, Englewood Cliffs, New Jersey: Prentice-Hall, 1976.
Dijkstra, E. W. [1968]. “Cooperating Sequential Processes,” (in) Programming Languages, (ed.) Genuys, New York: Academic Press, 1968, pp. 43–112.
Francez, N. [1986]. Fairness, New York: Springer-Verlag, 1986.
Goldschlager, L. M. [1978]. “Synchronous Parallel Computation,” Ph.D. thesis, University of Toronto, Toronto, Ontario, (1977); see also Proc. of 10th ACM Symposium on the Theory of Computing, 1978, pp. 89–94 and J.ACM, 29:4, October 1982, pp. 1073–1086.
Hoare, C. A. R. [1984]. Communicating Sequential Processes, London: Prentice-Hall International, 1984.
Hoare, C. A. R. [1978]. “Communicating Sequential Processes,” C.ACM, 21:8, August 1978, pp. 666–677.
Lamport, L., and F. B. Schneider [1984]. “The ‘Hoare Logic’ of CSP, and All That,” ACM TOPLAS, 6:2, April 1984, pp. 281–296.
Lynch, N. A., and M. R. Tuttle [1987]. “Hierarchical Correctness Proofs for Distributed Algorithms,” Proc. of 6th Annual ACM Symposium on Principles of Distributed Computing, Vancouver, Canada, 1987.
Manna, Z., and A. Pnueli [1983]. “How to Cook a Temporal Proof System for Your Pet Language,” Proc. of the 10th Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, 1983.
Milner, R. [1983]. “Calculi for Synchrony and Asynchrony,” Theoretical Computer Science, 25, 1983, pp. 267–310.
Parker, R. A., et al., [1980]. “Abstract Interface Specifications for the A-7E Device Interface Module,” U.S. Navy Research Laboratories Memorandum Report 4385, November 1980.
Pippenger, N. [1979]. “On Simultaneous Resource Bounds,” Proc. of 20th IEEE Symposium on Foundations of Computer Science, 1979, pp. 307–311.
Pnueli, Amir [1981]. “The Temporal Semantics of Concurrent Programs,” Theoretical Computer Science, 13, 1981, pp. 45–60.
van de Snepscheut, J. L. A., and J. B. Swenker [1987]. “On the Design of Some Systolic Algorithms,” JAN 131a, The Netherlands: University of Groningen, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chandy, K.M., Misra, J. (1987). Parallelism and programming: A perspective. In: Nori, K.V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1987. Lecture Notes in Computer Science, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18625-5_50
Download citation
DOI: https://doi.org/10.1007/3-540-18625-5_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18625-0
Online ISBN: 978-3-540-48033-4
eBook Packages: Springer Book Archive