Nebenläufige Programmierung: Literatur

• Andrews, Gregory R.: Concurrent Programming  - Principles and Practice -
     Benjamin/Cummings, Redwood City etc., 1992.  INF DB 3000 A566;  Semester-App. Winkler
• Burns, Alan; Davies, Geoff: Concurrent Programming.
     Addison-Wesley, Wokingham etc., 1993.  INF DB 3000 B967 ;  Semester-App. Winkler
• Ben-Ari, M.: Principles of Concurrent and Distributed Programming.
     Prentice Hall, New York etc. 1990. 0-13-711821-X;   INF DB 3000 B456 ;  Semester-App. Winkler
• Boger, Marko: Java in verteilten Systemen. dpunkt.verlag, Heidelberg, 1999.
     INF DD 2000 Java B674;    Semester-App. Winkler
• Herrtwich, Ralf Guido; Hommel, Günter: Nebenläufige Programme.
     Springer, Berlin usw., 2. Aufl. 1994. 3-540-57783-1; INF DB 3200 H568 ;  Semester-App. Winkler
• Apt, Krysztof R.; Olderog, Ernst-Rüdiger: Programmverifikation
     - Sequentielle, parallele und verteilte Programme -
     Springer, Berlin usw., 1994.  3-540-57479-4     INF DB 4000 A655
• Bräunl, Thomas: Parallel Programming - An Introduction -.
     Prentice Hall, New York etc., 1993. 0-13-336827-0; INF DB 3200 B812 (auch in Deutsch)
• Glatz, Eduard: Betriebssysteme. dpunkt.verlag, Heidelberg, 2006.  3-89864-355-7

• ISO/IEC 8652:1995(E): Information technology - Programming languages - Ada;
  INF LNCS 2219 2000;  Semester-App. Winkler
  http://psc.informatik.uni-jena.de/languages/ada-lrm95-cor1.pdf
• Burns, Alan; Wellings, Andy: Concurrency in Ada.
  Cambridge University Press. Cambridge 1995. 0-521-41471-7; INF DD 2000 B967;  Semester-App. Winkler

• Bracha, Gilad; Gosling, James; Joy, Bill; Steele, Guy: Java Language Specification -Third Edition-.
      Addison-Wesley 2005.  0-321-24678-0 (noch nicht in ThULB).     3rd ed.: online/pdf
• Lea, Doug: Concurrent Programming in Java. 2nd ed.,
      Addison-Wesley, Reading etc., 1999 ;  INF DD 2000 Java L433(2):1999;  Semester-App. Winkler
• Goetz, Brian u.a.: Java Concurrency in Practice. Addison-Wesley, Upper Saddle River etc., 2006. 0-321-34960-1.
       ThULB INF:DD:Java:G611:2006

Armstrong, Joe; Virding, Robert; Wikström, Claes; Williams, Mike: Concurrent Programming in ERLANG.
2nd ed., Prentice Hall 1999, 0-13-508301-X,  ( Teil 1 ). INF:DD:2000:ERLANG:A736(2);  Semester-App. Winkler

• ISO/IEC 1539-1:1997 Information Technology -- Programming Languages -- Fortran - Part 1: Base language.
  INF DD 2000:FORTRAN: ISO/IEC 1539-1:1997
• High Performance Fortran Forum: High Performance Fortran Language Specification.
  January 31, 1997, Version 2.0