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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis zur parallelen Programmierung
6.1. Einführungen und tibersichten
G.R. Andrews, F.B. Schneider/Concepts and Notations for Concurrent Programming/ACM Computing Surveys, Vol. 15, 1983, 3–43
M. Ben-Ari/Grundlagen der Parallel-Programmierung/Carl Hanser Verlag, München,1984
U. Bernutat-Buchmann, D. Rudolph, K.-H. Schloßer/Parallel Computing I - Eine Bibliographie/Bochumer Schriften zur Datenverarbeitung, Ruhr Universität Bochum, 1983
R.E. Filman, D.P. Friedman/Coordinated Computing/McGraw-Hill Book Company, New York, 1984
R.H. Perrott/Parallel Programming/Addison Wesley, Wokingham, England, 1987
H.U. Steusloff/Realzeit-Programmiersprachen/Informatik Spektrum, Springer-Verlag, Heft 7, 1984, 81–93
6.2. Konzepte
P. Brinch Hansen/A Comparison of Two Synchronizing Concepts/Acta Informatica, 1, 1972, 190–199
P. Brinch Hansen/Operating System Principles/Prentice Hall, Englewood Cliffs, New Jersey, 1973
R.H. Campbell, A.N. Habermann/The Specification of Process Synchronisation by Path Expressions/L,NCS 16, Springer-Verlag, New York, 1979, 212–219
J.B. Dennis, E.C. Van Horn/Programming Semantics for Multiprogrammed Computations/CACM, Vol. 9, No. 3, 1966, 143–155
E.W. Dijkstra/Cooperating Sequential. Processes/Academic Press, New York, 1968
E.W. Dijkstra/Guarded Com mends, Nondetermancy, and formal derivation of programs/CACM, Vol. 18, No. 8, 1975, 453–457
C.E. Hewitt/Viewing Control Structures as Patterns of Passing Messages/Journal of Artificial Intelligence, Vol. 8, No. 3, 1977, 323–364
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
C.A.R. Hoare/Monitors: An Operating System Structuring Concept/CACM, Vol. 17, No. 10, 1974, 549–557
C.A.R. Hoare/Communicating Sequential Processes/CACM, Vol. 21, No. 8, 1978, 666–677
T. Rentsch/Object Oriented Programming/ACM Sigplan Notices, Vol. 17, No. 9, 1982, 51–57
A. Silberschatz/Extending CSP to Allow Dynamic Resource Management/IEEE Transactions on Software Engineering, Vol. SE-9, No. 4, 1983, 527–531
6.3. Programmiersprachen
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
G.A. Agha/ACTORS: A Model of Concurrent Computation in Distributed Systems/The MIT Press, Cambridge, Massachusetts, 1986
J.G.P. Barnes/Programmieren in Ada/Hanser-Verlag, 1983
C. Beilken, F. Mattern/Die Programmiersprache CSSA - Ein kurzer Überblick/Universität Kaiserslautern, SFB 124-Bericht, 1985
G. Blaschek, G. Pomberger, F. Ritzinger/Einführung in die Programmierung mit Modula-2/Springer-Verlag, Studienreihe Informatik, Berlin, 1986
N.H. Cohen/Ada as a Second Language/McGraw-Hill Book Company, New York, 1986
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
H. Ehlich/PASCALV/Bochumer Schriften zur parallelen Datenverarbeitung, Rechenzentrum der Ruhr Universität, Bochum, März 1984
H. Ehlich /EPOS Kurzbeschreibung/Institut für Regelungstechik und Prozef3automatisierung, Universität Stuttgart, Februar 1984
L. Frevert/Echtzeit-Praxis mit Pearl/Leitfäden der angewandten Informatik, Teubner Verlag, Stuttgart, 1985
N. Gehani/Ada - An Advanced Introduction/Prentice Hall, Englewood Cliffs, New Jersey, 1983
P. Göhner/Spezifikation der Synchronisierung paralleler Rechenprozesse in EPOS/in “Fachtagung Prozeßrechner 1981” Informatik Fachberichte 39, Springer-Verlag, 1981, 107–118
G. Goos, G. Persch, J. Uhl/Programmiermethodik mit Ada/Springer-Verlag, Berlin, 1987
D. Pountain/A tutorial introduction to OCCAM programming/INMOS Limited, Bristol UK, 1986
B.W. Kernighan, D.M. Ritchie/Programmieren in C/Carl Hanser Verlag, München, 1983
R.B. Kolstad, R.H. Campbell/Path Pascal User Manual/ACM Notices, Vol. 15, No. 9, 1980, 15–24
J. Lenzer, T. Letschert, A. Lingen, D. Hollis/Eine Einführung in die Programmiersprache CHILL/Hüthig Verlag, Heidelberg, 1987
D. May, R. Taylor/Occam - An Overview/Microprocessors and Microsystems, Vol. 8, No. 2, 1984
R.H. Perrott/A Language for Array and Vector Processors ACM TOPLAS, Vol. 2, No. 2, 1979, 177–195
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
R.H. Perrott, A. Zarea-Aliabadi/Supercomputer Languages/ACM Computing Surveys, Vol. 18, No. 1, 1986, 5–22
H. Rohlfing-Brosell/Modula-2/Springer-Verlag, Berlin, 1986
W. Sammer, H. Schwärtzel/CHILL - Eine moderne Programmiersprache für die Systemtechnik/Springer-Verlag, Berlin, 1982
A. Schütte/Programmieren in Occam/Addison-Wesley Verlag, Bonn, 1988
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
N. Wirth/Programming in Modula-2/Springer-Verlag, Berlin, 1986
6.4. Gegenüberstellungen und Vergleiche
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
D.Q.M. Fay/Comparison of CSP and the Programming Language Occam/Australian Computer Science Communication, Vol. 6, Section 13, 1984, 1–10
G. Hommel/Language Constructs for Distributed Programs/in “Distributed Systems”, LNCS 190, Springer-Verlag Berlin, 1982, 287–341
A. Kemper/Die Programmiersprache OCCAM - Einführung und Vergleich mit PEARL/Automatisierungstechnische Praxis atp, Heft 11, 1985, 535–539
G. Pomberger, E. Wallmüller/Ada und Modula-2 - ein Vergleich/Informatik Spektrum, Springer-Verlag, Heft 10, 1987, 181–191
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
S.J. Young/Real Time Languages: Design and Development/Ellis Horwood Limited, Chichester, England, 1982
6.5. Abhängige Problemkreise
K.R. Apt, N. Francez, W.P. de Roever/A Proof System for Communicating Sequential Processes/ACM TOPLAS, Vol. 2, 1980, 359–385
K.R. Apt, N. Francez/Modeling the Distributed Termination Convention of CSP/ACM TOPLAS, Vol. 6, No. 3, 1984, 370–379
K.R. Apt, L. Bougé, P. Clermont/Two Normal Programs/Information Processing Letters, 1987
H. Barringer, I. Mearns/A Proof System for Computer Journal, Vol. 29, No. 5, 1986, 404–415
A. Bernstein/Output Guards and Nondeterminism Sequential Processes“/ACM TOPLAS, Vol. 2, No. 2
R. Bornat/A Protocol for Genralized Occam/Software - Practice and Experience, Vol. 16(9), 783–799, 1986
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
S.D. Brookes, C.A.R. Hoare, A.W. Roscoe/A Theory of Communicating Sequential Processes/JACM, Vol. 31, No. 3, 1984, 560–599
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
E.G. Coffman, M.J. Elphick, A. Shoshani/System Deadlocks / Computing Surveys, Vol. 3, No. 2, 1971, 67–78
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
N. Francez, M. Rodeh/Achieving Distributed Termination without Freezing/IEEE Transactions on Software Engineering, Vol. SE-8, 1982,. 287–292
N. Francez/Fairness/Springer-Verlag, New York, 1986
O. Grumberg, N. Francez, S. Katz/Fair Termination of Commumicating Processes/ACM PODC - Proceedings, 1984, 254–265
A.N. Habermann/Prevention of System Deadlocks/CACM, Vol. 12, No. 7, 1969, 373–386
C.A.R. Hoare/Communicating Sequential Processes/Prentice Hall International Series in Computer Science, Englewood Cliffs, New Jersey, 1985
L. Holenderski/A Note on Specifying and Verifying Concurrent Processes/Information Processing Letters 18, 1984, 77–85
J.H. Howard/Proving Monitors/CACM, Vol. 19, No. 5, 1976, 273–279
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
T. Minoura/Deadlock Avoidance Revisited/JACM, Vol. 29, No. 4, 1982, 1023–1048
E.-R. Olderog, C.A.R. Hoare/Specification-Oriented Semantics for Communicating Processes/Acta Informatica, 23, 1986, 9–66
J.-L. Richier/Distributed Termination in CSP/in “STACS’85”, LNCS 182, Springer-Verlag, 1985, 267–278
N. Soundararajan/Axiomatic Semantics of Communicating Sequential Processes/ACM TOPLAS, Vol. 6, No. 4, 1984, 647–662
R.N. Taylor/Complexity of Analyzing the Synchronization Structure of Concurrent Programs/Acta Informatica, 19, 1983, 57–84
D. Zöbel/Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen/Informationstechnik it, 27. Jahrgang, Heft 4, August 1986, 255–262
D. Zöbel/Transformation for Communication Fairness in CSP/Information Processing Letters, Vol. 25, 1987, 195–198
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
D. Zöbel/Normalform-Transformationen für Programme in CSP/Informatik in Forschung und Entwicklung, Springer-Verlag, voraussichtlich April 1988
6.6. Sonstiges
F.A. Briggs, K. Hwang/Computer Architecture and Parallel Processing/McGraw-Hill Book Company, New York, 1985
P.J. Coutois, F. Heymans, D.L. Parnas/Concurrent Control with Readers and Writers/CACM 14, 1971, 667–668
E.W. Dijkstra/A Discipline of Programming/Prentice Hall, Englewood Cliffs, USA, 1976
H.P. Flatt/A simple model for parallel programming/IEEE Computer, Vol. 17, No. 11, 1984, 95
E.W. Dijkstra /Databook/INMOS Limited, Bristol UK, 1986
Author information
Authors and Affiliations
Rights 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