SEMANTICA CONCURRENTE
 Los programas concurrentes no terminan
 La semántica de un programa no es una
función de estados
 La característica fundamental es que el
comportamiento es no determinista
 El orden de ejecución de las sentencias no
puede ser prederminado
 Existen interferencias de unas partes del
programa en otras

¡¡ No es válida la arquitectura Von Neumann