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 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. Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. Licenciado en Informática