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.