TY - GEN AU - Domínguez,Martín Ariel TI - P-¢»: A process algebra for modeling prioritized stochastic timed systems ER -