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
JavaTech
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
Concurrency:
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
Petrinetze:
Eine Einführung
Springer 1982