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
  • print: ACE l 2007:1 1.Ex
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 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
  • print: LIN c 2005:1 1.Ex
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
  • print: OLD e 2005:1 1.Ex
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 Practic
Addison-Wesley 2007
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