---

Literaturangaben

Die Literaturliste ist in folgende Abschnitte eingeteilt:

• Monographien (umfassende Bücher zum Gesamtthema)
• Algorithmenpublikationen (die ursprünglichen Veröffentlichungen einzelner Algorithmen)
• Ergänzendes (Literatur zu Randaspekten)

---

Monographien

Lyn96

Nancy Lynch; Distributed Algorithms; Morgan Kaufmann Publishers, San Mateo, CA, 1996.

Mat91

Friedemann Mattern; Verteilte Basisalgorithmen; Springer, Heidelberg, Informatik Fachbericht, 1991.

Ray87

Michel Raynal; Networks and distributed computation - concepts, tools and algorithms; North Oxford Academic, London, 1987.

Ray88

Michel Raynal; Distributed algorithms and protocols; Wiley&Sons, Chichester, 1988.

Tel94

Gerard Tel; Introduction to distributed algorithms; Cambridge Univ. Press, Cambridge, 1994.

Algorithmen

<to be filled>

Ergänzendes

Kru00

H. Krumm; Temporal Logic - A Short Introduction; HIER ALS .PDF-DATEI

cTLA03

G. Rothmaier, H. Krumm cTLA 2003 / Description; Internal Report, RvS Group

Alp85

B. Alpern, F. Schneider; Defining Liveness; Information Processing Letters 21,4(Oct.1985)181-185

Apt91

K.R. Apt, E.R. Olderog; Verification of sequential and concurrent programs; Springer, Heidelberg, 1991.

Cha88

K. Chandy, J. Misra; Parallel Program Design - A Foundation (UNITY); Addison-Wesley, 1988.

Lam90

L. Lamport, N. Lynch; Distributed computing: Models and methods; in: Jan van Leeuwen (ed.), Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapt. 18, pgs. 1157-1199; Elsevier Science Publ. and MIT Press, 1990.

Lam94

Leslie Lamport; The temporal logic of actions (TLA); ACM TOPLAS, 16(3) 872-923, May 1994.

Man91

Z. Manna, A. Pnueli; The temporal logic of reactive and concurrent systems; Springer, Heidelberg, 1991.

Her00

P. Herrmann, H. Krumm; cTLA / A Framework Modeling Transfer Protocols ; Computer Networks 34 (2000) 317--337

Mes95

A. Mester, H. Krumm; Composition and Refinement Mapping based Construction of Distributed Applications; in: Uffe H. Engberg, Kim G. Larsen, Arne Skou (Eds.): Proceedings of the TAPSOFT'95 satellite workshop TACAS, Aarhus, Denmark, May 1995. BRICS (Basic Research in Computer Science) Notes Series (ISSN 0909-3206) NS-95-2, pg. 290-303