Programación concurrente

Bibliografía básica

• B-B-001. A. Burns, A. Wellings. Concurrency in Ada. Cambridge University Press, 1998.
  Fácil de leer, es una buena introducción a la concurrencia en Ada. Incluye temas que no se tocarán en el curso.
• B-B-002. G. Andrews, F. Schneider. Concepts and Notations for Concurrent Programming. ACM Computing Surveys, vol. 15, n. 1, 1983, pp. 3-43.
  Una revisión de conceptos y lenguajes para expresar concurrencia. Resume las propuestas más importantes en el área.
• B-B-003. M. Ben-Ari. Principles of Concurrent Programming. Prentice-Hall, 1982.
  Escueto, con poca orientación metodológica, pero con un contenido apreciable. Incluye soluciones a los problemas clásicos de concurrencia y un capítulo sobre Rendez-Vous en Ada.

Bibliografía adicional

• B-B-004. M. Ben-Ari. Ada for software engineers. John Wiley & Sons, 1998.
  Una somera revisión de Ada, apropiada para alguien que conoce otros lenguajes y quiere introducirse en Ada, que incluye capítulos sobre concurrencia.
• B-B-005. Gregory Andrews. Concurrent Programming, Principles and Practice. Benjamin Cummings, 1990.
  Cubre casi todos los conceptos dados en la asignatura, más otros muchos relativos a algoritmos distribuidos, no necesarios en este nivel. Utiliza un lenguaje de programación propio.
• B-B-006. Alan Burns, Geoff Davies. Concurrent programming. Addison-Wesley, 1993.
  Una introducción a la concurrencia usando Pascal FCP. Adolece de una falta de metodología uniforme a la hora de afrontar los problemas.
• B-B-007. N. H. Cohen. Ada as a Second Language. McGraw Hill.
  El libro de referencia definitivo de Ada.

Enlaces de interés

• B-E-001. http://www.cs.cornell.edu/fbs/publications/LangSurv.pdf
  Concepts and Notations for Concurrent Programming G. R. Andrews y F. B. Schneider.
• B-E-002. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.4939
  An introduction to programming with threads Andrew D. Birrell