Skip to main content
SpringerLink
Log in

Literaturverzeichnis zur parallelen Programmierung

  • Chapter
Book cover Konzepte der parallelen Programmierung

Part of the book series: Leitfäden der angewandten Informatik ((XLAI))

Zusammenfassung

Ein geordnetes Literaturverzeichnis ist besonders dann von großer Wichtigkeit, wenn eine Sammlung von verwandten Themenbereichen dabei ist, ein eigenständiges Fachgebiet zu begründen. Eben eine solche Entwicklung zeichnet sich mit der parallelen Programmierung als einem Fachgebiet der praktischen Informatik zur Zeit ab. Als eintscheidende Persönlichkeiten, die nicht nur Grundsteine zu dieser Entwicklung gelegt haben, sondern bis heute nach wie vor richtungsweisende Ansätze einbringen, sind hier vor allen zu nennen: E.W. Dijkstra und C.A.R. Hoare. Neben ihren herausragenden Arbeiten, die selbstverständlich in diesem Verzeichnis zu finden sind, wurden bei der überwältigenden Menge an literatur zur parallelen Programmierung nur solche ausgewählt, für die die Kriterien der Wichtigkeit und Akturlität erfüllt waren. Dieser Auswahl liegt selbstverständlich eine sehr persönliche Meinung zugrunde. Hinzu kommt die Unmöglichkeit, die Literatur in ihrer ganzen Breite zu kennen und zu verfolgen.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis zur parallelen Programmierung

6.1. Einführungen und tibersichten

  1. G.R. Andrews, F.B. Schneider/Concepts and Notations for Concurrent Programming/ACM Computing Surveys, Vol. 15, 1983, 3–43

    Article  MATH  Google Scholar 

  2. M. Ben-Ari/Grundlagen der Parallel-Programmierung/Carl Hanser Verlag, München,1984

    Google Scholar 

  3. U. Bernutat-Buchmann, D. Rudolph, K.-H. Schloßer/Parallel Computing I - Eine Bibliographie/Bochumer Schriften zur Datenverarbeitung, Ruhr Universität Bochum, 1983

    MATH  Google Scholar 

  4. R.E. Filman, D.P. Friedman/Coordinated Computing/McGraw-Hill Book Company, New York, 1984

    Google Scholar 

  5. R.H. Perrott/Parallel Programming/Addison Wesley, Wokingham, England, 1987

    Google Scholar 

  6. H.U. Steusloff/Realzeit-Programmiersprachen/Informatik Spektrum, Springer-Verlag, Heft 7, 1984, 81–93

    Google Scholar 

6.2. Konzepte

  1. P. Brinch Hansen/A Comparison of Two Synchronizing Concepts/Acta Informatica, 1, 1972, 190–199

    Article  Google Scholar 

  2. P. Brinch Hansen/Operating System Principles/Prentice Hall, Englewood Cliffs, New Jersey, 1973

    MATH  Google Scholar 

  3. R.H. Campbell, A.N. Habermann/The Specification of Process Synchronisation by Path Expressions/L,NCS 16, Springer-Verlag, New York, 1979, 212–219

    Google Scholar 

  4. J.B. Dennis, E.C. Van Horn/Programming Semantics for Multiprogrammed Computations/CACM, Vol. 9, No. 3, 1966, 143–155

    MATH  Google Scholar 

  5. E.W. Dijkstra/Cooperating Sequential. Processes/Academic Press, New York, 1968

    Google Scholar 

  6. E.W. Dijkstra/Guarded Com mends, Nondetermancy, and formal derivation of programs/CACM, Vol. 18, No. 8, 1975, 453–457

    MathSciNet  MATH  Google Scholar 

  7. C.E. Hewitt/Viewing Control Structures as Patterns of Passing Messages/Journal of Artificial Intelligence, Vol. 8, No. 3, 1977, 323–364

    Article  Google Scholar 

  8. C.A.R. Hoare/Towards a Theory of Parallel Programming/in “Operating Systems Techniques”, Herausgeber: C.A.R. Hoare und R.H. Perrott, Academic Press, New York, 1972, 61–71

    Google Scholar 

  9. C.A.R. Hoare/Monitors: An Operating System Structuring Concept/CACM, Vol. 17, No. 10, 1974, 549–557

    Google Scholar 

  10. C.A.R. Hoare/Communicating Sequential Processes/CACM, Vol. 21, No. 8, 1978, 666–677

    MATH  Google Scholar 

  11. T. Rentsch/Object Oriented Programming/ACM Sigplan Notices, Vol. 17, No. 9, 1982, 51–57

    Article  Google Scholar 

  12. A. Silberschatz/Extending CSP to Allow Dynamic Resource Management/IEEE Transactions on Software Engineering, Vol. SE-9, No. 4, 1983, 527–531

    Article  Google Scholar 

6.3. Programmiersprachen

  1. G. Agha, C.E. Hewitt/Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism/in “Foundations of Software Technology and Theoretical Computer Science”, LNCS 206, Springer-Verlag, 1985, 19–41

    Google Scholar 

  2. G.A. Agha/ACTORS: A Model of Concurrent Computation in Distributed Systems/The MIT Press, Cambridge, Massachusetts, 1986

    Google Scholar 

  3. J.G.P. Barnes/Programmieren in Ada/Hanser-Verlag, 1983

    Google Scholar 

  4. C. Beilken, F. Mattern/Die Programmiersprache CSSA - Ein kurzer Überblick/Universität Kaiserslautern, SFB 124-Bericht, 1985

    Google Scholar 

  5. G. Blaschek, G. Pomberger, F. Ritzinger/Einführung in die Programmierung mit Modula-2/Springer-Verlag, Studienreihe Informatik, Berlin, 1986

    Google Scholar 

  6. N.H. Cohen/Ada as a Second Language/McGraw-Hill Book Company, New York, 1986

    MATH  Google Scholar 

  7. R.D. Dowsing, R. Elliott/Programming a Bounded Buffer using the Object and Path Expressions of Path Pascal/The Computer Journal, Vol. 29, No. 5, 1986, 423–429

    Article  MATH  Google Scholar 

  8. H. Ehlich/PASCALV/Bochumer Schriften zur parallelen Datenverarbeitung, Rechenzentrum der Ruhr Universität, Bochum, März 1984

    Google Scholar 

  9. H. Ehlich /EPOS Kurzbeschreibung/Institut für Regelungstechik und Prozef3automatisierung, Universität Stuttgart, Februar 1984

    Google Scholar 

  10. L. Frevert/Echtzeit-Praxis mit Pearl/Leitfäden der angewandten Informatik, Teubner Verlag, Stuttgart, 1985

    Google Scholar 

  11. N. Gehani/Ada - An Advanced Introduction/Prentice Hall, Englewood Cliffs, New Jersey, 1983

    Google Scholar 

  12. P. Göhner/Spezifikation der Synchronisierung paralleler Rechenprozesse in EPOS/in “Fachtagung Prozeßrechner 1981” Informatik Fachberichte 39, Springer-Verlag, 1981, 107–118

    Google Scholar 

  13. G. Goos, G. Persch, J. Uhl/Programmiermethodik mit Ada/Springer-Verlag, Berlin, 1987

    Google Scholar 

  14. D. Pountain/A tutorial introduction to OCCAM programming/INMOS Limited, Bristol UK, 1986

    Google Scholar 

  15. B.W. Kernighan, D.M. Ritchie/Programmieren in C/Carl Hanser Verlag, München, 1983

    MATH  Google Scholar 

  16. R.B. Kolstad, R.H. Campbell/Path Pascal User Manual/ACM Notices, Vol. 15, No. 9, 1980, 15–24

    Article  Google Scholar 

  17. J. Lenzer, T. Letschert, A. Lingen, D. Hollis/Eine Einführung in die Programmiersprache CHILL/Hüthig Verlag, Heidelberg, 1987

    Google Scholar 

  18. D. May, R. Taylor/Occam - An Overview/Microprocessors and Microsystems, Vol. 8, No. 2, 1984

    Google Scholar 

  19. R.H. Perrott/A Language for Array and Vector Processors ACM TOPLAS, Vol. 2, No. 2, 1979, 177–195

    Article  Google Scholar 

  20. R.H. Perrott, D. Crookes, P. Milligan, W.R.M. Purdy/Implementation of an Array and Vector Processing Language/in “Proceedings of the IEEE Conference on Parallel Processing”, IEEE, New York, 1983, 232–239

    Google Scholar 

  21. R.H. Perrott, A. Zarea-Aliabadi/Supercomputer Languages/ACM Computing Surveys, Vol. 18, No. 1, 1986, 5–22

    Article  Google Scholar 

  22. H. Rohlfing-Brosell/Modula-2/Springer-Verlag, Berlin, 1986

    Google Scholar 

  23. W. Sammer, H. Schwärtzel/CHILL - Eine moderne Programmiersprache für die Systemtechnik/Springer-Verlag, Berlin, 1982

    Google Scholar 

  24. A. Schütte/Programmieren in Occam/Addison-Wesley Verlag, Bonn, 1988

    Google Scholar 

  25. J.F.H. Winkler/Die Programmiersprache Chill (I+II) / Automatisierungstechnische Praxis atp, 28. Jahrgang, Heft 5 und Heft 6, 1986, 252–258 und 290–294

    Google Scholar 

  26. N. Wirth/Programming in Modula-2/Springer-Verlag, Berlin, 1986

    Google Scholar 

6.4. Gegenüberstellungen und Vergleiche

  1. C.J. Fidget, R.S.V. Pascoe/A Comparison of the Concurrency Constructs and Module Facilities of CHILL and Ada/The Australian Computer Journal, Vol. 15, No. 1, February 1983

    Google Scholar 

  2. D.Q.M. Fay/Comparison of CSP and the Programming Language Occam/Australian Computer Science Communication, Vol. 6, Section 13, 1984, 1–10

    MathSciNet  Google Scholar 

  3. G. Hommel/Language Constructs for Distributed Programs/in “Distributed Systems”, LNCS 190, Springer-Verlag Berlin, 1982, 287–341

    Google Scholar 

  4. A. Kemper/Die Programmiersprache OCCAM - Einführung und Vergleich mit PEARL/Automatisierungstechnische Praxis atp, Heft 11, 1985, 535–539

    Google Scholar 

  5. G. Pomberger, E. Wallmüller/Ada und Modula-2 - ein Vergleich/Informatik Spektrum, Springer-Verlag, Heft 10, 1987, 181–191

    Google Scholar 

  6. P. Wegner, S.A. Smolka/Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives/IEEE Transactions on Software Engineering, SE-9, No. 4, 1983, 446–462

    Google Scholar 

  7. S.J. Young/Real Time Languages: Design and Development/Ellis Horwood Limited, Chichester, England, 1982

    Google Scholar 

6.5. Abhängige Problemkreise

  1. K.R. Apt, N. Francez, W.P. de Roever/A Proof System for Communicating Sequential Processes/ACM TOPLAS, Vol. 2, 1980, 359–385

    Article  MATH  Google Scholar 

  2. K.R. Apt, N. Francez/Modeling the Distributed Termination Convention of CSP/ACM TOPLAS, Vol. 6, No. 3, 1984, 370–379

    Article  MATH  Google Scholar 

  3. K.R. Apt, L. Bougé, P. Clermont/Two Normal Programs/Information Processing Letters, 1987

    Google Scholar 

  4. H. Barringer, I. Mearns/A Proof System for Computer Journal, Vol. 29, No. 5, 1986, 404–415

    MATH  Google Scholar 

  5. A. Bernstein/Output Guards and Nondeterminism Sequential Processes“/ACM TOPLAS, Vol. 2, No. 2

    Google Scholar 

  6. R. Bornat/A Protocol for Genralized Occam/Software - Practice and Experience, Vol. 16(9), 783–799, 1986

    MATH  Google Scholar 

  7. L. Bougé/On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes/LIPT report 86.18, Université Paris 7, 1986

    Google Scholar 

  8. S.D. Brookes, C.A.R. Hoare, A.W. Roscoe/A Theory of Communicating Sequential Processes/JACM, Vol. 31, No. 3, 1984, 560–599

    Article  MathSciNet  MATH  Google Scholar 

  9. G.N. Buckley, A. Silberschatz/An Effective Implementation for the Generalized Input-Output Construct in CSP/ACM TOPLAS, Vol. 5, No. 2, 1983, 223–235

    Article  MATH  Google Scholar 

  10. E.G. Coffman, M.J. Elphick, A. Shoshani/System Deadlocks / Computing Surveys, Vol. 3, No. 2, 1971, 67–78

    Article  MATH  Google Scholar 

  11. E.W. Dijkstra, W.H.J. Feijen, A.J.M. von Gasteren/Derivation of a Termination Detection Algorithm for Distributed Computations/Information Processing Letters, Vol. 16, 1983, 217–219

    Article  MathSciNet  Google Scholar 

  12. N. Francez, M. Rodeh/Achieving Distributed Termination without Freezing/IEEE Transactions on Software Engineering, Vol. SE-8, 1982,. 287–292

    Google Scholar 

  13. N. Francez/Fairness/Springer-Verlag, New York, 1986

    Google Scholar 

  14. O. Grumberg, N. Francez, S. Katz/Fair Termination of Commumicating Processes/ACM PODC - Proceedings, 1984, 254–265

    Google Scholar 

  15. A.N. Habermann/Prevention of System Deadlocks/CACM, Vol. 12, No. 7, 1969, 373–386

    MATH  Google Scholar 

  16. C.A.R. Hoare/Communicating Sequential Processes/Prentice Hall International Series in Computer Science, Englewood Cliffs, New Jersey, 1985

    Google Scholar 

  17. L. Holenderski/A Note on Specifying and Verifying Concurrent Processes/Information Processing Letters 18, 1984, 77–85

    Google Scholar 

  18. J.H. Howard/Proving Monitors/CACM, Vol. 19, No. 5, 1976, 273–279

    MATH  Google Scholar 

  19. ET 133 R.E. Johnson, F.B. Schneider/Symmetry and Similarity in Distributed Systems/in “4th Annual Symposium on Principles of Distributed Computing”, ACM, 1985, 13–22

    Google Scholar 

  20. T. Minoura/Deadlock Avoidance Revisited/JACM, Vol. 29, No. 4, 1982, 1023–1048

    Article  MathSciNet  MATH  Google Scholar 

  21. E.-R. Olderog, C.A.R. Hoare/Specification-Oriented Semantics for Communicating Processes/Acta Informatica, 23, 1986, 9–66

    Article  MathSciNet  MATH  Google Scholar 

  22. J.-L. Richier/Distributed Termination in CSP/in “STACS’85”, LNCS 182, Springer-Verlag, 1985, 267–278

    Google Scholar 

  23. N. Soundararajan/Axiomatic Semantics of Communicating Sequential Processes/ACM TOPLAS, Vol. 6, No. 4, 1984, 647–662

    Article  MATH  Google Scholar 

  24. R.N. Taylor/Complexity of Analyzing the Synchronization Structure of Concurrent Programs/Acta Informatica, 19, 1983, 57–84

    Article  MathSciNet  MATH  Google Scholar 

  25. D. Zöbel/Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen/Informationstechnik it, 27. Jahrgang, Heft 4, August 1986, 255–262

    Google Scholar 

  26. D. Zöbel/Transformation for Communication Fairness in CSP/Information Processing Letters, Vol. 25, 1987, 195–198

    Google Scholar 

  27. D. Zöbel/Zur Kommunikation in verteilten Systemen: Lösung des I/O-Guard Problems mit Programmtransformationen/Informationstechnik it, 29. Jahrgang, Heft 4, 1987, 255–263

    Google Scholar 

  28. D. Zöbel/Normalform-Transformationen für Programme in CSP/Informatik in Forschung und Entwicklung, Springer-Verlag, voraussichtlich April 1988

    Google Scholar 

6.6. Sonstiges

  1. F.A. Briggs, K. Hwang/Computer Architecture and Parallel Processing/McGraw-Hill Book Company, New York, 1985

    Google Scholar 

  2. P.J. Coutois, F. Heymans, D.L. Parnas/Concurrent Control with Readers and Writers/CACM 14, 1971, 667–668

    Google Scholar 

  3. E.W. Dijkstra/A Discipline of Programming/Prentice Hall, Englewood Cliffs, USA, 1976

    MATH  Google Scholar 

  4. H.P. Flatt/A simple model for parallel programming/IEEE Computer, Vol. 17, No. 11, 1984, 95

    Google Scholar 

  5. E.W. Dijkstra /Databook/INMOS Limited, Bristol UK, 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Koblenz, Deutschland

    Dr. rer. nat. Dieter Zöbel & Horst Hogenkamp

Authors
  1. Dr. rer. nat. Dieter Zöbel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Horst Hogenkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1988 B. G. Teubner Stuttgart

About this chapter

Cite this chapter

Zöbel, D., Hogenkamp, H. (1988). Literaturverzeichnis zur parallelen Programmierung. In: Konzepte der parallelen Programmierung. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94670-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-94670-6_6

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-519-02486-6

  • Online ISBN: 978-3-322-94670-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation