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
no image available Bowman, Howard and Gomez, Rodolfo
Concurrency theory
Springer 2006
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 Gosling, James; Joy, Bill; Steele, Guy and Bracha, Gilad
The Java language specification
Addison-Wesley 2014
no image available Herlihy, Maurice and Shavit, Nir
The art of multiprocessor programming
Elsevier 2008
no image available Lea, Doug
Concurrent programming in Java:
Design principles and patterns
Addison-Wesley 2007
no image available Lindsey, Clark S.; Tolliver, Johnny S. and Lindblad, Thomas
JavaTech
Cambridge Univ. Press 2005
no image available Magee, Jeff and Kramer, Jeff
Concurrency:
State models and Java programs
Wiley 2007
no image available Milner, Robin
A calculus of communicating systems
Springer 1980
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 Reisig, Wolfgang
Petrinetze:
Eine Einführung
Springer 1982
no image available Taubner, Dirk
Finite representations of CCS and TCSP programs by automata and Petri nets
Springer 1989