Next:
Seguridad y vivacidad/viveza
Up:
Concurrencia y Distribución
Previous:
Funcionamiento correcto
 
Índice General
Propriedades de programas concurrentes
Subsecciones
Seguridad y vivacidad/viveza
Justicia entre procesos
Espera activa de procesos
Espera infinita o inanición de procesos
© 2005, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática