next up previous contents
Next: Enlaces en la Red Up: Bibliografía Previous: Complementarias   Índice General

Referencias adicionales

  1. G.R. Andrews. Concurrent Programming: Principles and Practice. Benjamin/Cummings, 1991.
  2. J.C. Baeten and W.P. Wiejland. Process Algebra. Cambridge University Press, 1990.
  3. A. Burns and G. Davies. Concurrent Programming. Addison-Wesley, 1993.
  4. C. Fencott. Formal Methods for Concurrency. Thomson Computer Press, 1996.
  5. M. Henning, S. Vinoski. Programación Avanzada en CORBA con C++. Addison Wesley, ISBN 84-7829-048-6, 2001.
  6. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
  7. R. Milner. Concurrency and Communication. Prentice-Hall, 1989.
  8. R. Milner. Semantics of Concurrent Processes. in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science. Elsevier and MIT Press, 1990.
  9. J.E. Pérez Martínez. Programación Concurrente. Editorial Rueda, ISBN 84-7207-059-X, 1990.
  10. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.



© 2005, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática