Corpus ID: 170482802

Descripción e implementación de TPPAL: un álgebra de procesos temporizados y probabilísticos

@inproceedings{Mateo2011DescripcinEI,
  title={Descripci{\'o}n e implementaci{\'o}n de TPPAL: un {\'a}lgebra de procesos temporizados y probabil{\'i}sticos},
  author={P. Gil Mateo and Juan Jos{\'e}.},
  year={2011}
}
Tradicionalmente, los disenadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno de los formalismos para ser utilizado y se centraban en ese, descartando el resto de modelos. Con esto se estaban descartando las ventajas que los otros modelos podrian aportar a su trabajo. Ante esta situacion, parece interesante el tener una relacion definida entre los diferentes modelos, de modo que una vez realizaba una especificacion en uno de ellos, concretamente en un modelo… Expand