Un modelo semántico de procesos basados en la duración
En el campo de la semántica de los lenguajes para descripción de procesos, hay un interés en la equivalencia funcional de los mismos. En muchos casos nos interesa, además de la equivalencia funcional, la información relativa, a la eficiencia o a la rapidez de los procesos. Este será el enfoque del p...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Tesis Tesis de grado |
| Lenguaje: | Español |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/2168 |
| Aporte de: |
| Sumario: | En el campo de la semántica de los lenguajes para descripción de procesos, hay un interés en la equivalencia funcional de los mismos. En muchos casos nos interesa, además de la equivalencia funcional, la información relativa, a la eficiencia o a la rapidez de los procesos. Este será el enfoque del presente trabajo, donde estudiaremos relaciones que unen dos procesos equivalentes desde el punto de vista funcional, y entre los cuales uno de los procesos es más rápido, o igualmente de rápido que el otro. |
|---|