Next: Lógica temporal
Up: Representaciónes usadas en la
Previous: Diagramas de estados
Índice General
Existen dos formas de representar programas concurrentes
gráficamente:
- diagrama de interacciones (de UML)
- grafo de dependencias entre procesos
- autómata de estados
- diagrama de flujo de datos
© 2001, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática