Literature for Nebenläufige Programmierung / Concurrent Programming

Link to the Homepage: Nebenläufige Programmierung / Concurrent Programming

no image available Aceto, Luca; Ingolfsdottir, Anna; Larsen, Kim Guldstrand and Srba, Jiri
Reactive systems:
Modelling, specification and verification

Cambridge University Press 2007
no image available Andrews, Gregory R.
Concurrent programming:
Principles and practice

Addison-Wesley 1991
  • print: AND g 1991:1 1.Ex
no image available Ben-Ari, Moti
Principles of concurrent and distributed programming
Addison-Wesley 2006
  • print: BEN m 2006:1 1.Ex
no image available Bowman, Howard and Gomez, Rodolfo
Concurrency theory
Springer 2006
no image available Herlihy, Maurice and Shavit, Nir
The art of multiprocessor programming
Elsevier 2008
no image available Gosling, James; Joy, Bill; Steele, Guy and Bracha, Gilad
The Java language specification
Addison-Wesley 2005
no image available Lindsey, Clark S.; Tolliver, Johnny S. and Lindblad, Thomas
Cambridge Univ. Press 2005
no image available Taubner, Dirk
Finite representations of CCS and TCSP programs by automata and Petri nets
Springer 1989
no image available Magee, Jeff and Kramer, Jeff
State models and Java programs

Wiley 2007
no image available Milner, Robin
Communication and concurrency
Prentice-Hall 2006
  • print: MIL r 2006:1 1.Ex
no image available Olderog, Ernst-Rüdiger
Nets, terms and formulas:
Three views of concurrent processes and their relationship

Cambridge 2005
no image available Lea, Doug
Concurrent programming in Java:
Design principles and patterns

Addison-Wesley 2007
no image available Goetz, Brian; Peierls, Tim; Bloch, Joshua; Bowbeer, Joseph and Holmes, David
Java concurrency in practice
Addison-Wesley 2007
  • print: P JAV 2007:5 1.Ex
no image available Reisig, Wolfgang
Eine Einführung

Springer 1982